src/Tools/jEdit/src/Isabelle.props
changeset 63610 4b40b8196dc7
parent 62758 c439a7348138
child 63620 f1cae4239d4c
     1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Thu Aug 04 21:30:20 2016 +0200
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Fri Aug 05 16:30:53 2016 +0200
     1.3 @@ -87,7 +87,8 @@
     1.4  mode.isabelle.folding=isabelle
     1.5  mode.isabelle.sidekick.parser=isabelle
     1.6  mode.isabelle.sidekick.showStatusWindow.label=true
     1.7 -mode.ml.sidekick.parser=isabelle
     1.8 +mode.isabelle-ml.sidekick.parser=isabelle-ml
     1.9 +mode.sml.sidekick.parser=isabelle-sml
    1.10  sidekick.parser.isabelle.label=Isabelle
    1.11  mode.bibtex.folding=sidekick
    1.12  mode.bibtex.sidekick.parser=bibtex