src/Pure/Thy/sessions.scala
changeset 67004 af72fa58f71b
parent 66991 fc87d3becd69
child 67012 671decd2e627
     1.1 --- a/src/Pure/Thy/sessions.scala	Sat Nov 04 15:24:40 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Sat Nov 04 17:11:21 2017 +0100
     1.3 @@ -654,8 +654,8 @@
     1.4    private val GLOBAL = "global"
     1.5    private val DOCUMENT_FILES = "document_files"
     1.6  
     1.7 -  lazy val root_syntax =
     1.8 -    Outer_Syntax.init + "(" + ")" + "+" + "," + "=" + "[" + "]" + GLOBAL + IN +
     1.9 +  val root_syntax =
    1.10 +    Outer_Syntax.empty + "(" + ")" + "+" + "," + "=" + "[" + "]" + GLOBAL + IN +
    1.11        (CHAPTER, Keyword.THY_DECL) +
    1.12        (SESSION, Keyword.THY_DECL) +
    1.13        (DESCRIPTION, Keyword.QUASI_COMMAND) +