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