| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| fontdata/ | - | 2008-Jul-10 16:43 |
| DOCUMENT.pdf | 137989 | 2005-Dec-14 00:00 |
| example.ps | 44982 | 2000-Sep-11 23:00 |
| example.mp | 1841 | 2000-Sep-11 23:00 |
| README.txt | 1002 | 2000-Sep-11 23:00 |
| txp.mp | 870 | 2000-Sep-11 23:00 |
| gentyp.awk | 233 | 2000-Sep-13 23:00 |