src/Tools/jEdit/src/isabelle.scala
changeset 56277 c4f75e733812
parent 56170 638b29331549
child 56278 2576d3a40ed6
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Tue Mar 25 14:52:35 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Tue Mar 25 15:15:33 2014 +0100
     1.3 @@ -29,7 +29,8 @@
     1.4        "isabelle-news",    // NEWS
     1.5        "isabelle-options", // etc/options
     1.6        "isabelle-output",  // pretty text area output
     1.7 -      "isabelle-root")    // session ROOT
     1.8 +      "isabelle-root",    // session ROOT
     1.9 +      "sml")              // Standard ML (not Isabelle/ML)
    1.10  
    1.11    private lazy val ml_syntax: Outer_Syntax =
    1.12      Outer_Syntax.init().no_tokens.