Name                    Last modified       Size  Description

 Parent Directory        11-Nov-2009 10:37      -  
 os2/                    20-Oct-1999 02:24      -  
 Flex-patch              11-Jun-1999 09:32     1k  
 Makefile                12-May-1999 10:45     2k  
 detex.1l                12-May-1999 10:45     4k  
 detex.h                 12-May-1999 10:45     1k  
 detex.l                 12-May-1999 10:45    17k  
 lexout.c                12-May-1999 10:45    49k  
 states.sed              12-May-1999 10:45     1k  

---