Isabelle Hints
Brackets or No Brackets in jEdit
By default jEdit shows goals in the form
A ==> B ==> C
If you instead prefer the style
[| A; B |] ==> C
from the slides, you can enable this in jEdit by adding the word
brackets
to
Plugins > Plugin Options > Isabelle/General > Print Mode
then restarting JEdit.