Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
teubner.txt | 2023-08-25 08:22 | 10K | ||
teubner.pdf | 2023-08-24 22:14 | 658K | ||
teubner.dtx | 2023-08-24 22:14 | 162K | ||
teubner-doc.tex | 2023-08-25 08:08 | 91K | ||
teubner-doc.pdf | 2023-08-25 08:07 | 429K | ||
README | 2023-08-25 08:15 | 2.6K | ||