acl2 - Debian dgit repo for package acl2

Mode	Name	Size
-rw-r--r--	.gitignore	377	log plain
-rw-r--r--	GNUmakefile	34510	log plain
-rw-r--r--	LICENSE	1927	log plain
-rw-r--r--	Makefile	1500	log plain
l---------	README.md	15	log plain
-rw-r--r--	acl2-characters	256	log plain
-rw-r--r--	acl2-check.lisp	16240	log plain
d---------	acl2-customization-files	408	log plain
-rw-r--r--	acl2-fns.lisp	92184	log plain
-rw-r--r--	acl2-init.lisp	95500	log plain
-rw-r--r--	acl2.lisp	109869	log plain
-rw-r--r--	akcl-acl2-trace.lisp	8587	log plain
-rw-r--r--	all-files.txt	3488	log plain
-rw-r--r--	allegro-acl2-trace.lisp	10716	log plain
-rw-r--r--	apply-raw.lisp	143016	log plain
-rw-r--r--	axioms.lisp	1039327	log plain
-rw-r--r--	basis-a.lisp	303869	log plain
-rw-r--r--	basis-b.lisp	169077	log plain
-rw-r--r--	bdd.lisp	134077	log plain
d---------	bin	120	log plain
d---------	books	1935	log plain
-rw-r--r--	boot-strap-pass-2.lisp	72440	log plain
-rw-r--r--	build-allegro-exe.cl	3342	log plain
d---------	debian	1135	log plain
-rw-r--r--	defpkgs.lisp	29265	log plain
-rw-r--r--	defthm.lisp	530481	log plain
-rw-r--r--	defuns.lisp	419145	log plain
-rw-r--r--	doc.lisp	4913396	log plain
d---------	doc	254	log plain
d---------	emacs	152	log plain
-rw-r--r--	futures-raw.lisp	59442	log plain
d---------	graphics	2270	log plain
-rw-r--r--	history-management.lisp	704666	log plain
-rw-r--r--	hons-raw.lisp	177253	log plain
-rw-r--r--	hons.lisp	9881	log plain
-rw-r--r--	induct.lisp	151109	log plain
-rw-r--r--	init.lisp	4117	log plain
d---------	installation	361	log plain
-rw-r--r--	interface-raw.lisp	446952	log plain
-rw-r--r--	ld.lisp	206800	log plain
-rw-r--r--	linear-a.lisp	153032	log plain
-rw-r--r--	linear-b.lisp	41776	log plain
-rw-r--r--	mcl-acl2-startup.lisp	5355	log plain
-rw-r--r--	memoize-raw.lisp	213921	log plain
-rw-r--r--	memoize.lisp	16097	log plain
-rw-r--r--	multi-threading-raw.lisp	43865	log plain
-rw-r--r--	new.html	2559	log plain
-rw-r--r--	non-linear.lisp	41825	log plain
-rw-r--r--	openmcl-acl2-trace.lisp	9243	log plain
-rw-r--r--	other-events.lisp	1356223	log plain
-rw-r--r--	other-processes.lisp	107495	log plain
-rw-r--r--	other-releases.html	5067	log plain
-rw-r--r--	parallel-raw.lisp	61417	log plain
-rw-r--r--	parallel.lisp	41915	log plain
-rw-r--r--	proof-builder-a.lisp	64762	log plain
-rw-r--r--	proof-builder-b.lisp	211506	log plain
-rw-r--r--	proof-builder-pkg.lisp	1087	log plain
-rw-r--r--	prove.lisp	421531	log plain
-rw-r--r--	rewrite.lisp	784963	log plain
-rw-r--r--	save-gprof.lsp	13633	log plain
-rw-r--r--	serialize-raw.lisp	68231	log plain
-rw-r--r--	serialize.lisp	4313	log plain
-rw-r--r--	simplify.lisp	409334	log plain
-rw-r--r--	tau.lisp	586348	log plain
-rw-r--r--	translate.lisp	455378	log plain
-rw-r--r--	type-set-a.lisp	41104	log plain
-rw-r--r--	type-set-b.lisp	545892	log plain
-rw-r--r--	workshops.html	8190	log plain