src/Pure/PIDE/markup.ML
changeset 67219 81e9804b2014
parent 67188 bc7a6455e12a
child 67322 734a4e44b159
     1.1 --- a/src/Pure/PIDE/markup.ML	Sat Dec 16 20:02:40 2017 +0100
     1.2 +++ b/src/Pure/PIDE/markup.ML	Sat Dec 16 21:53:07 2017 +0100
     1.3 @@ -72,6 +72,7 @@
     1.4    val wordsN: string val words: T
     1.5    val hiddenN: string val hidden: T
     1.6    val system_optionN: string
     1.7 +  val sessionN: string
     1.8    val theoryN: string
     1.9    val classN: string
    1.10    val type_nameN: string
    1.11 @@ -394,6 +395,8 @@
    1.12  
    1.13  val system_optionN = "system_option";
    1.14  
    1.15 +val sessionN = "session";
    1.16 +
    1.17  val theoryN = "theory";
    1.18  val classN = "class";
    1.19  val type_nameN = "type_name";