• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
    • Theories
    • Rule-classes
    • Proof-builder
    • Recursion-and-induction
    • Hons-and-memoization
    • Events
    • Parallelism
    • History
      • Pl
      • Command
      • Puff
      • Pc
      • Ld-history
      • Oops
      • Extend-pe-table
      • Ubt
      • Puff*
      • Ubi
      • Undo
      • Pe
      • Make-termination-theorem
      • Command-descriptor
      • Reset-prehistory
      • Gthm
      • Formula
      • Pr
      • Pcb
      • Ubu
      • Disable-ubt
      • Pl2
      • Pbt
      • Enter-boot-strap-mode
      • Reset-kill-ring
      • Ubt!
      • U
      • Tthm
      • Pf
      • Ubu!
      • Pr!
      • Pcs
      • Pcb!
      • Get-command-sequence
      • Exit-boot-strap-mode
      • Ubu?
      • Ubt?
      • Ep-
      • Ubt-prehistory
      • Tau-database
      • Ep
      • Pe!
    • Programming
    • Operational-semantics
    • Real
    • Start-here
    • Debugging
    • Miscellaneous
    • Output-controls
    • Macros
    • Interfacing-tools
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• History

Pe!

Print events as with pe but ignoring the pe-table

This alternative to pe temporarily clears the pe-table so that original events are displayed.