src/Pure/General/markup.scala

   /* empty */
 
   val Empty = Markup("", Nil)
 
 
-  /* name */
+  /* misc properties */
 
   val NAME = "name"
   val KIND = "kind"
 
 

   val IGNORED_SPAN = "ignored_span"
   val MALFORMED_SPAN = "malformed_span"
 
 
   /* toplevel */
+
+  val SUBGOALS = "subgoals"
+  val PROOF_STATE = "proof_state"
 
   val STATE = "state"
   val SUBGOAL = "subgoal"
   val SENDBACK = "sendback"
   val HILITE = "hilite"