author | wenzelm |
Mon, 24 Oct 2016 11:42:39 +0200 | |
changeset 64367 | a424f2737646 |
parent 64366 | e0ab4c0a5a93 |
child 64368 | 364d74ea985f |
--- a/src/Tools/jEdit/src/Isabelle.props Mon Oct 24 11:10:17 2016 +0200 +++ b/src/Tools/jEdit/src/Isabelle.props Mon Oct 24 11:42:39 2016 +0200 @@ -5,7 +5,7 @@ #identification plugin.isabelle.jedit.Plugin.name=Isabelle plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel -plugin.isabelle.jedit.Plugin.version=7.0 +plugin.isabelle.jedit.Plugin.version=8.0 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE #system parameters