Index of /~mccune/old-ftp/QED

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]README03-Apr-1995 14:30 62  
[ ]check-4.tar.gz03-Apr-1995 14:30 106K 
Apache/2.2.16 (Debian) DAV/2 SVN/1.6.12 PHP/5.3.3-7+squeeze14 with Suhosin-Patch mod_ssl/2.2.16 OpenSSL/0.9.8o Server at www.cs.unm.edu Port 80