Index of /users/moore/acl2/older-releases/v6-0/distrib/windows

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]index-new.html.~1~.gz2013-01-11 15:01 583  
[   ]index-new.html.~2~.gz2013-01-11 15:03 504  
[   ]index.html.gz2013-01-14 18:17 553  
[   ]index.html.orig.gz2012-12-19 21:14 565  
[   ]index.html.~1~.gz2012-12-19 21:14 564  

Apache/2.4.18 (Ubuntu) Server at www.cs.utexas.edu Port 80