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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ACL2-3.4-DEP-Fixes.zip.gz2008-09-29 11:25 5.4K 
[   ]ACL2-3.4-Installer.exe.gz2008-08-12 02:26 98M 
[   ]acl2-installer-3.4-sources.tar.gz2008-08-12 11:50 8.4K 
[   ]alt-location.html.gz2008-08-12 10:16 706  
[DIR]images/2014-08-04 08:26 -  
[   ]index.html.gz2008-09-29 17:19 3.2K 
[   ]index.html.old.gz2008-08-12 10:19 210  
[   ]index1.html.1.gz2008-08-12 17:43 2.4K 
[   ]index1.html.aug13.gz2008-08-13 10:12 3.1K 

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