../ fontdata/ 11-Jul-2008 00:43 - DOCUMENT.pdf 14-Dec-2005 08:00 137989 README.txt 12-Sep-2000 07:00 1002 example.mp 12-Sep-2000 07:00 1841 example.ps 12-Sep-2000 07:00 44982 gentyp.awk 14-Sep-2000 07:00 233 txp.mp 12-Sep-2000 07:00 870