src/Pure/Thy/sessions.scala

 
 
 object Sessions
 {
   /* info */
-
-  val ROOT = Path.explode("ROOT")
-  val ROOTS = Path.explode("ROOTS")
 
   def is_pure(name: String): Boolean = name == "Pure"
 
   sealed case class Info(
     chapter: String,

   }
 
 
   /* parser */
 
+  val ROOT = Path.explode("ROOT")
+  val ROOTS = Path.explode("ROOTS")
+
   private val CHAPTER = "chapter"
   private val SESSION = "session"
   private val IN = "in"
   private val DESCRIPTION = "description"
   private val OPTIONS = "options"

   lazy val root_syntax =
     Outer_Syntax.init() + "(" + ")" + "+" + "," + "=" + "[" + "]" +
       (CHAPTER, Keyword.THY_DECL) + (SESSION, Keyword.THY_DECL) +
       IN + DESCRIPTION + OPTIONS + GLOBAL_THEORIES + THEORIES + FILES + DOCUMENT_FILES
 
-  object Parser extends Parse.Parser
+  private object Parser extends Parse.Parser
   {
     private abstract class Entry
     private sealed case class Chapter(name: String) extends Entry
     private sealed case class Session_Entry(
       pos: Position.T,