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 =