updated for release;
authorwenzelm
Wed Jun 06 13:44:53 2018 +0200 (11 months ago)
changeset 68392b2510432c94d
parent 68391 9b4f60bdad54
child 68393 b9989df11c78
updated for release;
src/Tools/jEdit/src/Isabelle.props
     1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Wed Jun 06 11:49:16 2018 +0200
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Wed Jun 06 13:44:53 2018 +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, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel
     1.7 -plugin.isabelle.jedit.Plugin.version=9.0
     1.8 +plugin.isabelle.jedit.Plugin.version=10.0
     1.9  plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
    1.10  
    1.11  #system parameters
    1.12 @@ -14,7 +14,7 @@
    1.13  
    1.14  #dependencies
    1.15  plugin.isabelle.jedit.Plugin.depend.0=jdk 1.8
    1.16 -plugin.isabelle.jedit.Plugin.depend.1=jedit 05.04.00.00
    1.17 +plugin.isabelle.jedit.Plugin.depend.1=jedit 05.05.00.00
    1.18  plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.1.4
    1.19  plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.3
    1.20  plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.8