Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/Isabelle.props
changeset 73119 83a2b6976515
parent 73013 d4b67dc6f4eb 
--- a/src/Tools/jEdit/src/Isabelle.props	Sat Jan 09 22:14:30 2021 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props	Sat Jan 09 22:41:08 2021 +0100
@@ -100,3 +100,12 @@
 mode.sml.sidekick.parser=isabelle-sml
 mode.bibtex.folding=sidekick
 mode.bibtex.sidekick.parser=bibtex
+sidekick.parser.isabelle.label=isabelle
+sidekick.parser.isabelle-context.label=isabelle-context
+sidekick.parser.isabelle-markup.label=isabelle-markup
+sidekick.parser.isabelle-ml.label=isabelle-ml
+sidekick.parser.isabelle-sml.label=isabelle-sml
+sidekick.parser.isabelle-news.label=isabelle-news
+sidekick.parser.isabelle-options.label=isabelle-options
+sidekick.parser.isabelle-root.label=isabelle-root
+sidekick.parser.bibtex.label=bibtex
isabelle