src/Pure/General/markup.scala
changeset 43673 29eb1cd29961
parent 43593 11140987d415
child 43710 7270ae921cf2
--- a/src/Pure/General/markup.scala	Tue Jul 05 22:38:44 2011 +0200
+++ b/src/Pure/General/markup.scala	Tue Jul 05 22:39:15 2011 +0200
@@ -246,6 +246,11 @@
   val MALFORMED_SPAN = "malformed_span"
 
 
+  /* theory loader */
+
+  val LOADED_THEORY = "loaded_theory"
+
+
   /* timing */
 
   val TIMING = "timing"