Added milawa-test-basic to "everything" target.

Added to doc topic note-6-4 for upcoming acl2-devel check-in (about
theory warnings).


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2221 303c5b2c-9740-0410-b014-fd8f9db7be32
add gl-assert utility and re-implement gl-mbe using it

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2222 303c5b2c-9740-0410-b014-fd8f9db7be32
add gl-concretize utility

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2223 303c5b2c-9740-0410-b014-fd8f9db7be32
rename g-gl-mbe.lisp to g-assert.lisp

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2224 303c5b2c-9740-0410-b014-fd8f9db7be32
1. removed load-compiled option 2. made some operations in graph-tc idempotent. 3. fixed ordering of v-cs%-alst to get it to be a good let* ordering

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

Improved the ACL2-Doc browser's view of the combined manual by
including package prefixes in links, so that the links and completion
work smoothly.  Thanks to Jared for assistance.

Improved some infrastructure pertaining to ACL2-Doc.

Pending: A way to build the acl2+books combined manual quickly.  A new
target in Makefile, render-doc-combined-fast, is a step in that
direction, together with new supporting file
system/doc/combined-build-script.lsp.  But this needs more work.


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