Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
README | 2023-Aug-25 04:15:54 | 2.6K | text/plain; charset=utf-8 |
teubner-doc.pdf | 2023-Aug-25 04:07:01 | 428.9K | application/pdf |
teubner-doc.tex | 2023-Aug-25 04:08:27 | 91.1K | text/x-tex; charset=utf-8 |
teubner.dtx | 2023-Aug-24 18:14:27 | 161.9K | application/octet-stream |
teubner.pdf | 2023-Aug-24 18:14:29 | 657.6K | application/pdf |
teubner.txt | 2023-Aug-25 04:22:13 | 10.0K | text/plain; charset=utf-8 |