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