1.1 --- a/lib/jedit/plugin/Isabelle.props	Sun Aug 24 17:23:42 2008 +0200
     1.2 +++ b/lib/jedit/plugin/Isabelle.props	Sun Aug 24 18:11:20 2008 +0200
     1.3 @@ -2,21 +2,21 @@
     1.4  ## $Id$
     1.5  
     1.6  #identification
     1.7 -plugin.isabelle.IsabellePlugin.name = Isabelle
     1.8 -plugin.isabelle.IsabellePlugin.author = Makarius
     1.9 -plugin.isabelle.IsabellePlugin.version = 0.0.1
    1.10 -plugin.isabelle.IsabellePlugin.description = Basic Isabelle support
    1.11 +plugin.isabelle.jedit.IsabellePlugin.name = Isabelle
    1.12 +plugin.isabelle.jedit.IsabellePlugin.author = Makarius
    1.13 +plugin.isabelle.jedit.IsabellePlugin.version = 0.0.1
    1.14 +plugin.isabelle.jedit.IsabellePlugin.description = Basic Isabelle support
    1.15  
    1.16  #system parameters
    1.17 -plugin.isabelle.IsabellePlugin.activate = defer
    1.18 -plugin.isabelle.IsabellePlugin.usePluginHome = false
    1.19 +plugin.isabelle.jedit.IsabellePlugin.activate = defer
    1.20 +plugin.isabelle.jedit.IsabellePlugin.usePluginHome = false
    1.21  
    1.22  #dependencies
    1.23 -plugin.isabelle.IsabellePlugin.depend.0 = jdk 1.5
    1.24 -plugin.isabelle.IsabellePlugin.depend.1 = jedit 04.03.00.00
    1.25 -plugin.isabelle.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7
    1.26 -plugin.isabelle.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4
    1.27 -plugin.isabelle.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4
    1.28 +plugin.isabelle.jedit.IsabellePlugin.depend.0 = jdk 1.5
    1.29 +plugin.isabelle.jedit.IsabellePlugin.depend.1 = jedit 04.03.00.00
    1.30 +plugin.isabelle.jedit.IsabellePlugin.depend.2 = plugin errorlist.ErrorListPlugin 1.7
    1.31 +plugin.isabelle.jedit.IsabellePlugin.depend.3 = plugin sidekick.SideKickPlugin 0.7.4
    1.32 +plugin.isabelle.jedit.IsabellePlugin.depend.4 = plugin console.ConsolePlugin 4.3.4
    1.33  
    1.34  #dockable component
    1.35  isabelle.label = Isabelle