# HG changeset patch
# User wenzelm
# Date 1458334546 -3600
# Node ID 6cfa0de8bb993845be555bfbc18c970afc96bc40
# Parent  b5c57430b9dd2431735af6663e2032c48a77cbf5
no dependency on HighlightPlugin, despite e7b2cfcef94c;

diff -r b5c57430b9dd -r 6cfa0de8bb99 src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Fri Mar 18 21:29:10 2016 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props	Fri Mar 18 21:55:46 2016 +0100
@@ -18,7 +18,6 @@
 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.8
-plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 2.2
 
 #options
 plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering