Index of /~moore/acl2/v8-2/distrib

	Name	Last modified	Size	Description
	Parent Directory		-
	images/	2019-05-07 11:04	-
	split/	2019-05-05 14:35	-
	acl2-sources/	2019-05-05 14:35	-
	acl2-tar-gz-md5sum	2019-05-05 14:35	46
	acl2.tar.gz	2019-05-05 14:35	10M
	windows/	2019-04-30 11:52	-