Minor, random updates:
 - Fancy xdoc viewer: center images and make the <tt> link color match the
   <code> link color
 - Bitops: minor tweaks and doc fixes
 - VL: Add gateinsts accumulator to deltas in VL
 - STD: save raw formals into the define table, so when writing macros
   you can easily reuse the formals to create other defines

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2279 303c5b2c-9740-0410-b014-fd8f9db7be32
Move documentation from leftist-trees/Readme.lsp into xdoc in projects/doc.lisp, delete its legacy Makefile, and add a books/Makefile target for leftist-trees.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2280 303c5b2c-9740-0410-b014-fd8f9db7be32
Adding doc topic for set-max-mem

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2281 303c5b2c-9740-0410-b014-fd8f9db7be32
Restoring file Readme.lsp, since that contained copyright information not found elsewhere (e.g., a grep for GNU in the new directory turned up empty).  Perhaps someone will prefer to create a suitable LICENSE file.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2282 303c5b2c-9740-0410-b014-fd8f9db7be32
Added contribution from J Moore, in books/misc/ as he suggested.

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

acl2-doc.lisp:
- Fixed bug in new defpointer macro for keyword-p case.
- Added entry to note-6-4 for a soundness bug fix.


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