--- 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"