VL updates
  - Add basic parsing/printing/representation for (most) streaming
    concatenations, and add lots of unit tests for parsing them
  - Extend support for SystemVerilog hids ($root, $unit, etc.)
  - Numerous minor parser cleanups and tweaks
  - Improved documentation of expression parsing

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2567 303c5b2c-9740-0410-b014-fd8f9db7be32
cert.pl:
  - add support for $ in book names
  - fix a problem with absolute paths in add-include-book-dir

make_cert_help.pl (with Sol):
  - add support for ; no-port next to include-books, to suppress
    automatic ld'ing the portcullis files (which may in very rare
    cases be useful)

GL (with Sol):
  - fix bug with add-gl-rewrite losing rules from other books
  - minor tweaks to gl's 4v-constant rewrites

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2568 303c5b2c-9740-0410-b014-fd8f9db7be32
VL: initial support for new wildcard equality and logical implies/equiv
operators: representation, parsing, printing, and basic sizing

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2569 303c5b2c-9740-0410-b014-fd8f9db7be32
Added tutorial-problems to DIRS in demos/Makefile.  Did usual svn propset for svn:ignore in demos/tutorial-problems/ to cover new subdirectory, equivalence-of-two-functions/

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2570 303c5b2c-9740-0410-b014-fd8f9db7be32
Updated :doc note-6-5 for change in acl2-devel svn revision 1252:

  The output from :[pr], :[pr!], :[pl], and :[show-bodies] has been
  tweaked. Thanks to a suggestion from Ben Selfridge, such output now
  shows the hypotheses (the Hyps field) above the left-hand side and
  right-hand side of a [rewrite] rule (Lhs and Rhs, respectively).
  The Equiv field has also been moved up before the Lhs field in such
  output for rewrite rules, and this field has been added for [elim]
  rules. Finally, the Hyps field now appears above the Term field in
  such output for [type-prescription] rules.


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