Loading...

This is like ACL2's :pbt command. It updates automatically as you submit new commands.

  • Hover to expand a command (like :pc).
  • Click to see even more (like :pcb!.)
    Note: this can produce a lot of output for commands like include-book.
Color Guide
Enabled
Partially enabled/disabled
Disabled
Logic mode, guards verified
Logic mode, guards not verified
Program mode
Other command, or mixed modes

Todo/Wishlist

  • Home package updating
  • Hyperlinks to lookup page or some other better info mechanism.
  • The :pcb display is confusing for large items like include-books; it'd be nice to better present how things are getting expanded, e.g., with arrows/indentation showing the expansion steps...
  • Capture/export session button
  • See other things instead of just :pcb output, like :pr output.
  • Search for events related to a particular symbol.

Is there a way to see what definitions got introduced by a command?Is there a way to see what xdoc got introduced?