# HG changeset patch
# User wenzelm
# Date 1528287505 -7200
# Node ID 76a0f3bafb16a138e3c48beb67783f3e9ff2d0e6
# Parent  bc2fd0e2047e2d854dadc9c1dace3f88c11d295a
updated for release;

diff -r bc2fd0e2047e -r 76a0f3bafb16 src/Tools/jEdit/src-base/Isabelle_Base.props
--- a/src/Tools/jEdit/src-base/Isabelle_Base.props	Wed Jun 06 14:16:52 2018 +0200
+++ b/src/Tools/jEdit/src-base/Isabelle_Base.props	Wed Jun 06 14:18:25 2018 +0200
@@ -14,4 +14,4 @@
 
 #dependencies
 plugin.isabelle.jedit_base.Plugin.depend.0=jdk 1.8
-plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.04.00.00
+plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00