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