src/Pure/PIDE/isabelle_markup.ML

   val stateN: string val state: Markup.T
   val subgoalN: string val subgoal: Markup.T
   val sendbackN: string val sendback: Markup.T
   val hiliteN: string val hilite: Markup.T
   val taskN: string
+  val parsedN: string val parsed: Markup.T
   val forkedN: string val forked: Markup.T
   val joinedN: string val joined: Markup.T
   val failedN: string val failed: Markup.T
   val finishedN: string val finished: Markup.T
   val serialN: string

 
 (* command status *)
 
 val taskN = "task";
 
+val (parsedN, parsed) = markup_elem "parsed";
 val (forkedN, forked) = markup_elem "forked";
 val (joinedN, joined) = markup_elem "joined";
 
 val (failedN, failed) = markup_elem "failed";
 val (finishedN, finished) = markup_elem "finished";