| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| doc/ | 2008-May-24 20:23:12 | - | Directory |
| texgen.jar | 2008-May-24 15:29:00 | 47.4K | application/java-archive |
| texgen_doc_de.pdf | 2008-May-24 18:04:00 | 365.7K | application/pdf |
| texgen_doc_de.tex | 2008-May-24 15:29:00 | 2.9K | text/x-tex;charset=utf-8 |
| texgen_doc_en.pdf | 2008-May-24 18:03:00 | 358.3K | application/pdf |
| texgen_doc_en.tex | 2008-May-24 15:29:00 | 2.4K | text/x-tex;charset=utf-8 |