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

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