(TXT) Flex-patch
 (TXT) Makefile
 (TXT) README
 (TXT) detex.1l
 (TXT) detex.h
 (TXT) detex.l
 (TXT) lexout.c
 (DIR) os2
 (TXT) states.sed