Quoting :doc note-6-5:

  Built-in [equality-variants] have been modified in order to support
  suitable guard-checking. For example, evaluation of the form
  (member-eq 3 '(4 5)), or equivalently, (member 3 '(4 5) :test 'eq),
  had produced a value of nil, but now we get what one should have
  expected: a guard violation (since [member-eq] is intended to
  compare symbols). Thanks to Yan Peng for raising a question on the
  acl2-help mailing list that led us to make this improvement.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1296 5d84a466-a78b-0930-a311-59b22171a541
Updated :doc disassemble$ to reflect support for macro aliases
(acl2-books svn revision 2752).

Fixed a comment in may-need-slashes-fn; thanks to Jared Davis for
pointing out the problem.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1297 5d84a466-a78b-0930-a311-59b22171a541
Fixed issue for GCL CLtL1 builds pointed out by Jared, which was caused by handler-bind (undefined in non-ANSI GCL) in load-compiled-book.  Probably builds were failing because out-of-date, old interface-raw.o was being loaded.  Note: Not yet fully tested (but tested enough for now).

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1299 5d84a466-a78b-0930-a311-59b22171a541