Index of /pub/tex-archive/support/detex

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Flex-patch1999-06-11 00:00 259  
[   ]Makefile1999-05-12 00:00 1.9K 
[   ]README1999-05-12 00:00 6.7K 
[   ]detex.1l1999-05-12 00:00 3.9K 
[TXT]detex.h1999-05-12 00:00 1.2K 
[   ]detex.l1999-05-12 00:00 17K 
[TXT]lexout.c1999-05-12 00:00 49K 
[DIR]os2/2003-04-27 04:25 -  
[   ]states.sed1999-05-12 00:00 329  

Apache/2 Server at ftp.jussieu.fr Port 80