Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
README | 2022-Oct-02 04:55:32 | 2.4K | text/plain; charset=utf-8 |
teubner-doc.pdf | 2022-Oct-03 09:54:46 | 422.7K | application/pdf |
teubner-doc.tex | 2022-Oct-03 09:54:38 | 90.8K | text/x-tex; charset=utf-8 |
teubner.dtx | 2022-Oct-03 09:59:53 | 161.3K | application/octet-stream |
teubner.pdf | 2022-Oct-03 10:00:00 | 655.9K | application/pdf |
teubner.txt | 2022-Oct-03 10:09:55 | 9.7K | text/plain; charset=utf-8 |