src/Pure/General/markup.scala
changeset 43673 29eb1cd29961
parent 43593 11140987d415
child 43710 7270ae921cf2
equal deleted inserted replaced
43672:e9f26e66692d 43673:29eb1cd29961
   244   val COMMAND_SPAN = "command_span"
   244   val COMMAND_SPAN = "command_span"
   245   val IGNORED_SPAN = "ignored_span"
   245   val IGNORED_SPAN = "ignored_span"
   246   val MALFORMED_SPAN = "malformed_span"
   246   val MALFORMED_SPAN = "malformed_span"
   247 
   247 
   248 
   248 
       
   249   /* theory loader */
       
   250 
       
   251   val LOADED_THEORY = "loaded_theory"
       
   252 
       
   253 
   249   /* timing */
   254   /* timing */
   250 
   255 
   251   val TIMING = "timing"
   256   val TIMING = "timing"
   252   val ELAPSED = "elapsed"
   257   val ELAPSED = "elapsed"
   253   val CPU = "cpu"
   258   val CPU = "cpu"