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