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.