--- a/src/Tools/jEdit/src/Isabelle.props Fri Aug 05 22:15:30 2016 +0200
+++ b/src/Tools/jEdit/src/Isabelle.props Fri Aug 05 22:25:32 2016 +0200
@@ -87,8 +87,9 @@
mode.isabelle.folding=isabelle
mode.isabelle.sidekick.parser=isabelle
mode.isabelle.sidekick.showStatusWindow.label=true
+mode.isabelle-ml.folding=sidekick
mode.isabelle-ml.sidekick.parser=isabelle-ml
+mode.sml.folding=sidekick
mode.sml.sidekick.parser=isabelle-sml
-sidekick.parser.isabelle.label=Isabelle
mode.bibtex.folding=sidekick
mode.bibtex.sidekick.parser=bibtex