# HG changeset patch
# User wenzelm
# Date 1432209797 -7200
# Node ID 3f0bb5c58dfab8e436c50d5ee3983c30eac527fc
# Parent  3841632c7e4fc0cce46bc0fad110931e40146312
updated versions;

diff -r 3841632c7e4f -r 3f0bb5c58dfa Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Thu May 21 11:55:57 2015 +0200
+++ b/Admin/Release/CHECKLIST	Thu May 21 14:03:17 2015 +0200
@@ -16,6 +16,8 @@
 
 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
 
+- check versions in src/Tools/jEdit/Isabelle.props;
+
 - check funny base directory, e.g. "Test 中国";
 
 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding
diff -r 3841632c7e4f -r 3f0bb5c58dfa src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Thu May 21 11:55:57 2015 +0200
+++ b/src/Tools/jEdit/src/Isabelle.props	Thu May 21 14:03:17 2015 +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=5.0
+plugin.isabelle.jedit.Plugin.version=6.0
 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
 
 #system parameters
@@ -14,10 +14,10 @@
 
 #dependencies
 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.7
-plugin.isabelle.jedit.Plugin.depend.1=jedit 05.01.00.00
+plugin.isabelle.jedit.Plugin.depend.1=jedit 05.02.00.00
 plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.1.4
 plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.3
-plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.6
+plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.7
 plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 2.0
 
 #options