Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
texgen.jar 2008-05-24 17:29 47K
texgen_doc_de.tex 2008-05-24 17:29 3.0K
texgen_doc_en.tex 2008-05-24 17:29 2.5K
texgen_doc_en.pdf 2008-05-24 20:03 358K
texgen_doc_de.pdf 2008-05-24 20:04 366K
doc/ 2008-05-24 22:23 -