Loading...
Session Viewer
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
|
|
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?