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