updated versions;
authorwenzelm
Thu, 21 May 2015 14:03:17 +0200
changeset 60295 3f0bb5c58dfa
parent 60294 3841632c7e4f
child 60296 9e8d0f8e552b
updated versions;
Admin/Release/CHECKLIST
src/Tools/jEdit/src/Isabelle.props
--- 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
--- 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 Hlzl, 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