Index of /mpej/Vol/6/3.supp/Section8

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] INDEX                   23-Mar-2000 15:44  457   
[   ] alpha.log               23-Mar-2000 15:44  1.5K  
[   ] fpoint.lm               23-Mar-2000 15:44  2.1M  
[   ] fpoint.lp               23-Mar-2000 15:45  2.1M  
[   ] proof.f                 23-Mar-2000 15:45   62K  
[   ] run                     23-Mar-2000 15:45  200
Apache/2.0.55 (Debian) DAV/2 SVN/1.1.4 mod_fastcgi/2.4.2 mod_jk/1.2.18 mod_ldap_userdir/1.1.8 mod_python/3.1.3 Python/2.3.5 PHP/5.1.6-1 mod_ruby/1.2.6 Ruby/1.8.5(2006-08-25) mod_ssl/2.0.55 OpenSSL/0.9.8c mod_perl/2.0.2 Perl/v5.8.8 Server at rene.ma.utexas.edu Port 80