Quoting :doc note-7-0:

  Errors were possible when evaluating functions [pkg-imports] and
  [pkg-witness] while including a book with a compiled (or expansion)
  file. Such errors have been eliminated.

A somewhat related comment from note-7-0 explains a bit more:

; Fixed the guard error message for pkg-imports to report a violation for that
; function, not (as had been the case) for function pkg-witness.  More
; generally, did miscellaneous cleaning of of code pertaining to those two
; functions.

A separate comment from note-7-0 summarizes another fix:

; Modified the handling of print-number-base-16-upcase-digits so that it is
; automatically installed when appropriate in princ$ and prin1$, rather than
; specifically for Allegro CL and CMUCL.  This way, ACL2 printing will be kept
; consistent with the axioms even if future versions of other host Lisps print
; hex digits in lower case.


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