Index of /support/detex

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Flex-patch11-Jun-1999 20:02 259  
[   ]Makefile12-May-1999 21:15 1.9K 
[   ]README12-May-1999 21:15 6.7K 
[   ]detex.1l12-May-1999 21:15 3.9K 
[TXT]detex.h12-May-1999 21:15 1.2K 
[   ]detex.l12-May-1999 21:15 17K 
[TXT]lexout.c12-May-1999 21:15 49K 
[DIR]os2/20-Oct-1999 12:54 -  
[   ]states.sed12-May-1999 21:15 329  

Apache/2.2.22 (Debian) Server at ctan.imsc.res.in Port 80