# HG changeset patch
# User wenzelm
# Date 1400667243 -7200
# Node ID b24e2b83917f4d5a61716355fad3138fce4d911c
# Parent  cf570f3ecdc13791d63fbae5195a9b227c2c4081
approximative update of versions;

diff -r cf570f3ecdc1 -r b24e2b83917f src/Tools/jEdit/src/Isabelle.props
--- 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