Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [TXT] Makefile 29-Feb-2008 09:37 2.2K [TXT] itex2MML.cc 29-Feb-2008 09:37 3.7K [TXT] itex2MML.h 29-Feb-2008 09:37 2.0K [TXT] itex2MML.i 29-Feb-2008 09:37 281 [TXT] itex2MML.l 29-Feb-2008 09:37 24K [TXT] itex2MML.y 29-Feb-2008 09:37 45K [TXT] itextomml.rb 29-Feb-2008 09:37 4.6K
Apache/2.3.0-dev (Unix) PHP/5.2.6 mod_fastcgi/2.4.6 mod_ssl/2.3.0-dev OpenSSL/0.9.7m DAV/2 Server at golem.ph.utexas.edu Port 80