--- a/src/Pure/PIDE/markup.ML Fri Dec 14 18:41:56 2012 +0100
+++ b/src/Pure/PIDE/markup.ML Fri Dec 14 20:05:08 2012 +0100
@@ -95,7 +95,7 @@
val subgoalsN: string
val proof_stateN: string val proof_state: int -> T
val stateN: string val state: T
- val subgoalN: string val subgoal: T
+ val subgoalN: string val subgoal: string -> T
val taskN: string
val acceptedN: string val accepted: T
val forkedN: string val forked: T
@@ -337,7 +337,7 @@
val (proof_stateN, proof_state) = markup_int "proof_state" subgoalsN;
val (stateN, state) = markup_elem "state";
-val (subgoalN, subgoal) = markup_elem "subgoal";
+val (subgoalN, subgoal) = markup_string "subgoal" nameN;
(* command status *)