1.1 --- a/lib/jedit/plugin/Isabelle.props Mon Aug 25 20:01:17 2008 +0200
1.2 +++ b/lib/jedit/plugin/Isabelle.props Mon Aug 25 21:58:54 2008 +0200
1.3 @@ -16,10 +16,16 @@
1.4 plugin.isabelle.jedit.IsabellePlugin.depend.1 = jedit 04.03.00.00
1.5 plugin.isabelle.jedit.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7
1.6 plugin.isabelle.jedit.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4
1.7 -plugin.isabelle.jedit.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4
1.8
1.9 #dockable component
1.10 isabelle.label = Isabelle
1.11 isabelle.title = Isabelle
1.12 isabelle.longtitle = Basic Isabelle process
1.13
1.14 +#menu
1.15 +plugin.isabelle.jedit.IsabellePlugin.menu-item = isabelle
1.16 +
1.17 +
1.18 +#Isabelle options
1.19 +isabelle.print-modes = no_brackets no_type_brackets xsymbols
1.20 +isabelle.logic =