PageName ▼	Summary + Labels ▼	Changed ▼	ChangedBy ▼	...
	BooksCleanup	Place to store requests for cleaning up the books repository.	Apr 19	rage...@gmail.com
	BooksIn40AndLater	Book information for Versions 4.0 and later of ACL2	Jul 2011	matthew.j.kaufmann@gmail.com
	Backporting	How to merge changes from the bleeding edge into a release branch.	Apr 2010	rage...@gmail.com
	CommittingCode	Suggested guidelines for how to commit code.	Feb 2010	rage...@gmail.com
	PackagesForBooks	Suggested guidelines for how to use packages when creating books.	Feb 2010	rage...@gmail.com
	CertifyingTheBooks	How to certify all the books, for testing or use.	Dec 2009	sswo...@gmail.com
	BooksSince36	Books added after ACL2 Version 3.6, before the release of ACL2 Version 3.6.1.	Sep 2009	matthew.j.kaufmann@gmail.com
	BooksSince34	Books added after the release of ACL2 Version 3.4, before the release of ACl2 Version 3.5, together with partial discussion of changes other than additions.	Aug 2009	matthew.j.kaufmann@gmail.com
	BooksSince35	Books added after ACL2 Version 3.5, before the release of ACL2 Version 3.6.	Aug 2009	matthew.j.kaufmann@gmail.com