../ os2/ 20-Oct-1999 07:24 - Flex-patch 11-Jun-1999 14:32 259 Makefile 12-May-1999 15:45 1899 README 12-May-1999 15:45 6904 detex.1l 12-May-1999 15:45 4006 detex.h 12-May-1999 15:45 1227 detex.l 12-May-1999 15:45 17K lexout.c 12-May-1999 15:45 49K states.sed 12-May-1999 15:45 329