src/Tools/jEdit/src/Isabelle.props
changeset 57033 b24e2b83917f
parent 56879 ee2b61f37ad9
child 58526 f05ccce3eca2
     1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Wed May 21 12:03:46 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Wed May 21 12:14:03 2014 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  #identification
     1.5  plugin.isabelle.jedit.Plugin.name=Isabelle
     1.6  plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Lars Hupel, Markus Kaiser, Makarius Wenzel
     1.7 -plugin.isabelle.jedit.Plugin.version=1.0.0
     1.8 +plugin.isabelle.jedit.Plugin.version=5.0
     1.9  plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
    1.10  
    1.11  #system parameters
    1.12 @@ -14,11 +14,11 @@
    1.13  
    1.14  #dependencies
    1.15  plugin.isabelle.jedit.Plugin.depend.0=jdk 1.7
    1.16 -plugin.isabelle.jedit.Plugin.depend.1=jedit 05.00.00.00
    1.17 -plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.0
    1.18 +plugin.isabelle.jedit.Plugin.depend.1=jedit 05.01.00.00
    1.19 +plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.1
    1.20  plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.1
    1.21 -plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.4
    1.22 -plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 1.9.10
    1.23 +plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.6
    1.24 +plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 2.0
    1.25  
    1.26  #options
    1.27  plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering