src/Pure/General/markup.scala

--- a/src/Pure/General/markup.scala	Wed Aug 25 20:43:03 2010 +0200
+++ b/src/Pure/General/markup.scala	Wed Aug 25 21:31:22 2010 +0200
@@ -53,7 +53,7 @@
   val Empty = Markup("", Nil)
 
 
-  /* name */
+  /* misc properties */
 
   val NAME = "name"
   val KIND = "kind"
@@ -188,6 +188,9 @@
 
   /* toplevel */
 
+  val SUBGOALS = "subgoals"
+  val PROOF_STATE = "proof_state"
+
   val STATE = "state"
   val SUBGOAL = "subgoal"
   val SENDBACK = "sendback"