Quoting :doc note-6-4:

  A new output type, history, now controls the printing of
  history-related information; see [set-inhibit-output-lst]. The
  unused output type, expansion, is no longer supported, i.e., is no
  longer a member of the list *valid-output-names*. Because of this
  change, printing of information when undoing, as by :[u], will now
  take place even when event output is inhibited (if history output
  is not inhibited); we thank Sol Swords for requesting that change.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1178 5d84a466-a78b-0930-a311-59b22171a541
Pertaining to check-in to acl2-devel svn revision 1178: Changed EXPANSION to HISTORY in the defininition of disassemble$ (thanks to Jared for pointing out that I missed this one).

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