My favorites | Sign in
Project Home Downloads Wiki Issues Source
Search
for
PackagesForBooks  
Suggested guidelines for how to use packages when creating books.
Updated Feb 4, 2010 by rage...@gmail.com

Jared created a good overview on how to define packages for your books.

http://www.cs.utexas.edu/users/jared/acl2/packages.cgi

Comment by project member rage...@gmail.com, Mar 27, 2013

This link is broken. It'd be nice if someone could document Sol's new approach, which, afaik, is considered to be better than the older method.

Comment by project member jared.c....@gmail.com, Jan 6, 2014

An updated link is here:

http://www.cs.utexas.edu/users/moore/acl2/contrib/managing-acl2-packages.html

You're right, this should eventually get merged into coherent documentation for using packages.


Sign in to add a comment
Powered by Google Project Hosting