Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
no dependency on HighlightPlugin, despite e7b2cfcef94c;
authorwenzelm
Fri, 18 Mar 2016 21:55:46 +0100
changeset 62674 6cfa0de8bb99
parent 62673 b5c57430b9dd
child 62675 2f816b80e3f4
no dependency on HighlightPlugin, despite e7b2cfcef94c;
src/Tools/jEdit/src/Isabelle.props file | annotate | diff | comparison | revisions 
--- 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
isabelle