Index of /support/detex

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Flex-patch11-Jun-1999 10:32 259  
[   ]Makefile12-May-1999 11:45 1.9K 
[   ]README12-May-1999 11:45 6.7K 
[   ]detex.1l12-May-1999 11:45 3.9K 
[TXT]detex.h12-May-1999 11:45 1.2K 
[   ]detex.l12-May-1999 11:45 17K 
[TXT]lexout.c12-May-1999 11:45 49K 
[DIR]os2/20-Oct-1999 04:24 -  
[   ]states.sed12-May-1999 11:45 329  

Apache/2.2.22 (Debian) Server at ctan.dcc.uchile.cl Port 80