Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - heuristica-doc.pdf 2017-03-14 21:34 198K heuristica-doc.tex 2017-03-14 21:34 5.4K FontLog.txt 2014-06-06 07:58 6.3K OFL-FAQ.txt 2014-04-17 17:10 43K OFL.txt 2012-03-05 12:13 4.6K