Tweaked key bindings for ACL2-Doc browser.  (Corresponding check-in
is coming momentarily for acl2-devel.)

Executed in projects/concurrent-programs/:

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



git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2200 303c5b2c-9740-0410-b014-fd8f9db7be32
Added more :USE hint examples.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2201 303c5b2c-9740-0410-b014-fd8f9db7be32
Minor tweak to :use hint documentation.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2202 303c5b2c-9740-0410-b014-fd8f9db7be32
GL:  in AIG mode, store the path condition and Boolean constraints in a queriable table rather than as just an AIG.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2203 303c5b2c-9740-0410-b014-fd8f9db7be32
Made small improvements to :doc acl2-doc (thanks to J for asking about the effects of enclosing square brackets).

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