Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
approximative update of versions;
authorwenzelm
Tue, 04 Nov 2014 17:37:15 +0100
changeset 58896 5a2f475e2ded
parent 58895 de0a4a76d7aa
child 58897 527bd5a7e9f8
approximative update of versions;
src/Tools/jEdit/src/Isabelle.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/Isabelle.props	Tue Nov 04 17:33:08 2014 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props	Tue Nov 04 17:37:15 2014 +0100
@@ -15,8 +15,8 @@
 #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.2=plugin console.ConsolePlugin 5.1
-plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.1
+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.5=plugin gatchan.highlight.HighlightPlugin 2.0
isabelle