diff -r 58bd88159f8f -r 42bbe637be54 src/Pure/PIDE/markup.scala
--- a/src/Pure/PIDE/markup.scala	Sat Dec 15 12:16:16 2012 +0100
+++ b/src/Pure/PIDE/markup.scala	Sat Dec 15 12:28:37 2012 +0100
@@ -210,6 +210,7 @@
   val PROOF_STATE = "proof_state"
 
   val STATE = "state"
+  val GOAL = "goal"
   val SUBGOAL = "subgoal"