src/Pure/General/markup.scala
changeset 43673 29eb1cd29961
parent 43593 11140987d415
child 43710 7270ae921cf2
     1.1 --- a/src/Pure/General/markup.scala	Tue Jul 05 22:38:44 2011 +0200
     1.2 +++ b/src/Pure/General/markup.scala	Tue Jul 05 22:39:15 2011 +0200
     1.3 @@ -246,6 +246,11 @@
     1.4    val MALFORMED_SPAN = "malformed_span"
     1.5  
     1.6  
     1.7 +  /* theory loader */
     1.8 +
     1.9 +  val LOADED_THEORY = "loaded_theory"
    1.10 +
    1.11 +
    1.12    /* timing */
    1.13  
    1.14    val TIMING = "timing"