XDOC fancy viewer enhancements:
 - Add "download this manual" feature
 - Add "printer friendly" feature

Milawa Makefile tweaks
 - Always clean Proofs/ directory
 - Make Proofs/ cleanup script executable

Move bitsets out of centaur/bitops into std/bitsets
 - Update and enhance documentation
 - Minor bitsets efficiency tweaks
 - Add some missing sparse bitset operations (more to go)

Bitops updates
 - Add a lot of documentation
 - Reduce various dependencies (fixes issue 91)
    - equal-by-logbitp.lisp now only locally includes ihsext-basics
    - many books no longer include ihs/logops-definitions
 - Reworked part-select to avoid using rdb/logops-definitions
 - Other minor restructuring/adjustments as I added documentation

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2338 303c5b2c-9740-0410-b014-fd8f9db7be32
VL: add various support for hierarchical identifiers, in sizing, expr-slicing, etc.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2339 303c5b2c-9740-0410-b014-fd8f9db7be32
vl: improve gate-elim transform to handle nmos/tran/bufif etc, and obsoletify the gateredux transform that used to deal with them

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2340 303c5b2c-9740-0410-b014-fd8f9db7be32
remove xf-gateredux book since it's no longer used and contains name conflicts with vl/primitives

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

Fixed Makefile, Makefile-generic, and
projects/translators/l3-to-acl2/Makefile to work with Cygwin
(Windows); thanks to Harsh Raju Chamarthi for his substantial help.

Moved Lisp comments to the note-6-4 topic in system/doc/acl2-doc.lisp
from (deflabel note-6-4 ...) in ACL2 source file ld.lisp.


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

Updated :doc note-6-4 to match check-in about to be made to
acl2-devel, by adding the following:

  The guard for system function ev-fncall-w now includes an arity
  check.


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