../ os2/ 20-Oct-1999 15:24 - Flex-patch 11-Jun-1999 22:32 259 Makefile 12-May-1999 23:45 1899 README 12-May-1999 23:45 6904 detex.1l 12-May-1999 23:45 4006 detex.h 12-May-1999 23:45 1227 detex.l 12-May-1999 23:45 17353 lexout.c 12-May-1999 23:45 50210 states.sed 12-May-1999 23:45 329