| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| doc/ | - | May 24, 2008 |
| texgen.jar | 47.5 KiB | May 24, 2008 |
| texgen_doc_de.pdf | 365.7 KiB | May 24, 2008 |
| texgen_doc_de.tex | 3.0 KiB | May 24, 2008 |
| texgen_doc_en.pdf | 358.3 KiB | May 24, 2008 |
| texgen_doc_en.tex | 2.5 KiB | May 24, 2008 |