updated for release; Isabelle2019-RC0
authorwenzelm
Tue Apr 02 14:56:32 2019 +0200 (3 weeks ago)
changeset 700346f2ab7f150f6
parent 70033 6cbc7634135c
child 70035 30863adababa
updated for release;
src/Tools/jEdit/src/Isabelle.props
     1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Tue Apr 02 14:51:27 2019 +0200
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Tue Apr 02 14:56:32 2019 +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=10.0
     1.8 +plugin.isabelle.jedit.Plugin.version=11.0
     1.9  plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
    1.10  
    1.11  #system parameters