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