no dependency on HighlightPlugin, despite e7b2cfcef94c;
authorwenzelm
Fri Mar 18 21:55:46 2016 +0100 (2016-03-18)
changeset 626746cfa0de8bb99
parent 62673 b5c57430b9dd
child 62675 2f816b80e3f4
no dependency on HighlightPlugin, despite e7b2cfcef94c;
src/Tools/jEdit/src/Isabelle.props
     1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Fri Mar 18 21:29:10 2016 +0100
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Fri Mar 18 21:55:46 2016 +0100
     1.3 @@ -18,7 +18,6 @@
     1.4  plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.1.4
     1.5  plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.3
     1.6  plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.8
     1.7 -plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 2.2
     1.8  
     1.9  #options
    1.10  plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering