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.

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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