Re: [isabelle] »strict« or »sequential« mode in Isabelle/jEdit?

>   * The toolbar, which is off by default in Isabelle/jEdit.  The menu
>     "Global Options / Tool Bar" allows to enable it and edit its entries.
>     In the next release that will be there by default, because the
>     Navigator needs it for forward / backward icons.

This should fit my purpose, thanks.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.