src/Tools/jEdit/src/Isabelle.props
changeset 62674 6cfa0de8bb99
parent 62019 9de1eb745aeb
child 62758 c439a7348138
     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