Isabelle/jEdit actions and shortcuts for tooltips, messages, error positions
Isabelle/jEdit Prover IDE
- Actions isabelle.tooltip (CS+b) and isabelle.message (CS+m) display tooltip message popups, corresponding to mouse hovering with/without the CONTROL/COMMAND key pressed.
- The following actions allow to navigate errors within the current document snapshot:
isabelle.first-error (CS+a) isabelle.last-error (CS+z) isabelle.next-error (CS+n) isabelle.prev-error (CS+p)
This refers to Isabelle/ae3399b05e9b.
- Projects
- None
- Subscribers
- None