# HG changeset patch
# User wenzelm
# Date 1415119035 -3600
# Node ID 5a2f475e2ded2c2aa90a55e7570a411b7590fbea
# Parent  de0a4a76d7aae69d01c4cdebcad76b848396a234
approximative update of versions;

diff -r de0a4a76d7aa -r 5a2f475e2ded src/Tools/jEdit/src/Isabelle.props
--- 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