--- a/src/Tools/jEdit/src/Isabelle.props Wed May 21 12:03:46 2014 +0200
+++ b/src/Tools/jEdit/src/Isabelle.props Wed May 21 12:14:03 2014 +0200
@@ -5,7 +5,7 @@
#identification
plugin.isabelle.jedit.Plugin.name=Isabelle
plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Lars Hupel, Markus Kaiser, Makarius Wenzel
-plugin.isabelle.jedit.Plugin.version=1.0.0
+plugin.isabelle.jedit.Plugin.version=5.0
plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
#system parameters
@@ -14,11 +14,11 @@
#dependencies
plugin.isabelle.jedit.Plugin.depend.0=jdk 1.7
-plugin.isabelle.jedit.Plugin.depend.1=jedit 05.00.00.00
-plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.0
+plugin.isabelle.jedit.Plugin.depend.1=jedit 05.01.00.00
+plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.1
plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.1
-plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.4
-plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 1.9.10
+plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.6
+plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 2.0
#options
plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering