Quoting :doc note-6-5:

  When the :[pe] command is supplied the macro alias for a function
  symbol (see [macro-aliases-table]), the system will now print
  [events] not only for the macro symbol but also for the
  corresponding function symbol. Thanks to Jared Davis, Shilpi Goel,
  Sol Swords, and Warren Hunt for requesting this enhancement.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1300 5d84a466-a78b-0930-a311-59b22171a541
Quoting :doc note-6-5:

  (Allegro CL only) We fixed a bug in function [princ$] when invoked in
  an ACL2 image with Allegro CL as the host Lisp implementation. When
  printing a complex number in base 16, lower case characters were
  produced, for example printing #C(c d) instead of the characters
  predicted by the axioms, namely #C(C D), Thanks to Jared Davis for
  bringing this bug to our attention, and also to pointing out
  excessive printing of a big note about such printing. We now print
  that note only when [set-print-base] is first invoked to change the
  print-base to 16. Although we have not proved nil by exploiting
  this bug, we suspect that a clever use of [clause-processor]s might
  make it possible to have done so.


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