Executed in projects/equational/: svn propset -R svn:ignore -F /Users/kaufmann/acl2/devel/books/unversioned-files.txt .

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2227 303c5b2c-9740-0410-b014-fd8f9db7be32
fix package for with-fast in g-concretize.lisp

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2228 303c5b2c-9740-0410-b014-fd8f9db7be32
fix horrible performance bug in gl path condition management

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2229 303c5b2c-9740-0410-b014-fd8f9db7be32
Add std/io/read-string routine.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2230 303c5b2c-9740-0410-b014-fd8f9db7be32

Improved generation of files for ACL2-Doc browser by dealing with
topic names that includes spaces or parentheses, by replacing those
with _, {, and }.  This affects :DOC and :XDOC at the terminal too.

Eliminated target render-doc-combined-fast from the Makefile.

Improved some documentation.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2231 303c5b2c-9740-0410-b014-fd8f9db7be32