../ ascii.inf 14-Jun-1992 08:00 63 english.inf 14-Jun-1992 08:00 631 german.inf 21-Jun-1992 08:00 1119 heap.c 14-Jun-1992 08:00 2080 heap.h 14-Jun-1992 08:00 358 library.c 15-Sep-1992 08:00 6787 library.h 21-Jun-1992 08:00 693 main.c 21-Jun-1992 08:00 9120 parse.c 21-Jun-1992 08:00 25K parse.h 21-Jun-1992 08:00 429 texortho.map 21-Jun-1992 08:00 1160 texortho.tex 14-Jun-1992 08:00 12K