src/Tools/jEdit/src/isabelle.scala
changeset 67004 af72fa58f71b
parent 66984 a1d3e5df0c95
child 67014 e6a695d6a6b2
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Sat Nov 04 15:24:40 2017 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Sat Nov 04 17:11:21 2017 +0100
     1.3 @@ -37,16 +37,16 @@
     1.4        "isabelle-root",    // session ROOT
     1.5        "sml")              // Standard ML (not Isabelle/ML)
     1.6  
     1.7 -  private lazy val ml_syntax: Outer_Syntax =
     1.8 -    Outer_Syntax.init.no_tokens.
     1.9 +  private val ml_syntax: Outer_Syntax =
    1.10 +    Outer_Syntax.empty.no_tokens.
    1.11        set_language_context(Completion.Language_Context.ML_outer)
    1.12  
    1.13 -  private lazy val sml_syntax: Outer_Syntax =
    1.14 -    Outer_Syntax.init.no_tokens.
    1.15 +  private val sml_syntax: Outer_Syntax =
    1.16 +    Outer_Syntax.empty.no_tokens.
    1.17        set_language_context(Completion.Language_Context.SML_outer)
    1.18  
    1.19 -  private lazy val news_syntax: Outer_Syntax =
    1.20 -    Outer_Syntax.init.no_tokens
    1.21 +  private val news_syntax: Outer_Syntax =
    1.22 +    Outer_Syntax.empty.no_tokens
    1.23  
    1.24    def mode_syntax(mode: String): Option[Outer_Syntax] =
    1.25      mode match {