Index of /DOWNLOADS/Itex

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 itex2MML                19-Apr-2005 10:30   65K  
 itex2latex.scr          04-Aug-2005 11:57  7.9K  
 itex2latex_v2.scr       19-Apr-2005 10:30  7.9K  
 itex2mml.tar            19-Apr-2005 10:30  1.6M  
 itex2xml.scr            04-Aug-2005 11:57  7.2K  
 itex2xml_v1.scr         19-Apr-2005 10:30  5.9K  
 itex2xml_v2.scr         19-Apr-2005 10:30  7.2K  
 latex_header.tex        04-Aug-2005 11:57  2.0K  
 latex_header_v2.tex     19-Apr-2005 10:30  2.0K  
 tidy                    19-Apr-2005 10:30  109K  
 xml_header.xml          04-Aug-2005 11:57  145   
 xml_header_v2.xml       19-Apr-2005 10:30  145