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.