Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
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
heuristica-doc.pdf 2017-03-14 21:34 198K
heuristica-doc.tex 2017-03-14 21:34 5.4K