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