| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| CHANGELOG | 2020-Sep-28 12:56:50 | 2.5K | application/octet-stream |
| INSTALL | 2020-Sep-28 12:56:50 | 1.8K | application/octet-stream |
| README | 2020-Sep-28 12:56:50 | 6.1K | text/plain;charset=utf-8 |
| texdef.pdf | 2020-Sep-28 12:56:50 | 148.6K | application/pdf |
| texdef.pl | 2020-Sep-28 12:56:50 | 32.2K | text/x-perl;charset=utf-8 |
| texdef.tex | 2020-Sep-28 12:56:50 | 14.5K | text/x-tex;charset=utf-8 |