Index of /users/moore/acl2/older-releases/v3-1/distrib/windows

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ACL2-3.1-Installer.zip.gz2006-12-06 10:44 66M 
[   ]alt-location.html.gz2006-12-07 21:19 705  
[   ]alt-location.html.~1~.gz2006-12-07 21:16 711  
[DIR]images/2014-07-30 10:09 -  
[   ]index.html.gz2006-12-07 21:19 2.3K 
[   ]index.html.orig.gz2006-12-06 15:02 2.5K 
[   ]index.html.~1~.gz2006-12-06 15:02 2.5K 
[   ]index.html.~2~.gz2006-12-07 18:38 2.2K 
[   ]installer-sources.tar.gz2006-12-06 10:10 14K 

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