--- a/src/Tools/jEdit/src/isabelle.scala Sat Nov 04 15:24:40 2017 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala Sat Nov 04 17:11:21 2017 +0100
@@ -37,16 +37,16 @@
"isabelle-root", // session ROOT
"sml") // Standard ML (not Isabelle/ML)
- private lazy val ml_syntax: Outer_Syntax =
- Outer_Syntax.init.no_tokens.
+ private val ml_syntax: Outer_Syntax =
+ Outer_Syntax.empty.no_tokens.
set_language_context(Completion.Language_Context.ML_outer)
- private lazy val sml_syntax: Outer_Syntax =
- Outer_Syntax.init.no_tokens.
+ private val sml_syntax: Outer_Syntax =
+ Outer_Syntax.empty.no_tokens.
set_language_context(Completion.Language_Context.SML_outer)
- private lazy val news_syntax: Outer_Syntax =
- Outer_Syntax.init.no_tokens
+ private val news_syntax: Outer_Syntax =
+ Outer_Syntax.empty.no_tokens
def mode_syntax(mode: String): Option[Outer_Syntax] =
mode match {