../ ChangeLog 30-Mar-1994 20:03 6218 Makefile 20-Mar-1994 11:00 1454 README 31-Mar-1992 14:50 413 adobe.txt 18-May-1993 15:00 37K ams.txt 14-Jun-1991 18:04 960 cm.txt 12-Jul-1992 12:52 1118 dtc.txt 06-Apr-1993 20:52 673 fontname.aux 30-Mar-1994 20:04 1703 fontname.info 30-Mar-1994 20:04 32K fontname.texi 30-Mar-1994 20:03 31K linotype.txt 07-Feb-1993 19:32 1134 monotype.txt 07-Feb-1993 19:32 10K texinfo.tex 20-Mar-1994 17:48 132K