Index of /www001/src/ports/print/detex/work/detex-2.7

 Name                    Last modified       Size  Description

 Parent Directory        11-Jan-2008 21:00      -  
 Makefile                12-May-1999 10:45     2k  
 detex                   11-Jan-2008 03:37    34k  
 detex.1l                12-May-1999 10:45     4k  
 detex.c                 11-Jan-2008 03:37    70k  
 detex.h                 12-May-1999 10:45     1k  
 detex.l                 12-May-1999 10:45    17k  
 detex.o                 11-Jan-2008 03:37    39k  
 lexout.c                12-May-1999 10:45    49k  
 os2/                    12-May-1999 10:45      -  
 states.sed              12-May-1999 10:45     1k