../ os2/ 29-Jul-2025 19:35 - Flex-patch 29-Jul-2025 19:35 259 Makefile 29-Jul-2025 19:35 1899 README 29-Jul-2025 19:35 6904 detex.1l 29-Jul-2025 19:35 4006 detex.h 29-Jul-2025 19:35 1227 detex.l 29-Jul-2025 19:35 17353 lexout.c 29-Jul-2025 19:35 50210 states.sed 29-Jul-2025 19:35 329