--- a/src/Pure/PIDE/markup.ML Sat Dec 15 12:16:16 2012 +0100
+++ b/src/Pure/PIDE/markup.ML Sat Dec 15 12:28:37 2012 +0100
@@ -95,6 +95,7 @@
val subgoalsN: string
val proof_stateN: string val proof_state: int -> T
val stateN: string val state: T
+ val goalN: string val goal: T
val subgoalN: string val subgoal: string -> T
val taskN: string
val acceptedN: string val accepted: T
@@ -337,6 +338,7 @@
val (proof_stateN, proof_state) = markup_int "proof_state" subgoalsN;
val (stateN, state) = markup_elem "state";
+val (goalN, goal) = markup_elem "goal";
val (subgoalN, subgoal) = markup_string "subgoal" nameN;