Index of /users/moore/acl2/older-releases/v3-0/new/v3-0-1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]HTML/2014-07-30 10:03 -  
[   ]acl2-tar-gz-md5sum.gz2006-08-01 13:59 85  
[   ]acl2.tar.gz2006-08-01 13:59 5.8M 
[   ]announcement.txt.gz2006-08-01 22:57 753  
[   ]index.html.gz2006-08-09 09:04 2.5K 
[   ]index.html.~1~.gz2006-08-01 22:51 1.6K 
[   ]index.html.~2~.gz2006-08-02 18:42 1.6K 
[   ]index.html.~3~.gz2006-08-02 18:52 1.6K 
[   ]index.html.~4~.gz2006-08-09 08:49 2.3K 
[   ]nonstd-tar-gz-md5sum.gz2006-08-01 14:00 89  
[   ]nonstd.tar.gz2006-08-01 14:00 198K 
[   ]patch-pl.lisp.gz2006-08-09 08:49 3.6K 
[   ]patch-pl.lisp.~1~.gz2006-08-02 18:41 1.1K 
[   ]patch-pl.lisp.~2~.gz2006-08-06 19:27 3.6K 
[   ]temp.html.gz2006-08-03 15:36 2.3K 
[   ]temp.html.~1~.gz2006-08-02 18:59 1.6K 
[   ]temp.html.~2~.gz2006-08-02 19:50 2.3K 
[   ]workshops-tar-gz-md5sum.gz2006-08-01 14:00 95  
[   ]workshops.tar.gz2006-08-01 13:59 27M 

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