src/Pure/General/markup.ML

   val malformedN: string val malformed: T
   val antiqN: string val antiq: T
   val whitespaceN: string val whitespace: T
   val junkN: string val junk: T
   val commandspanN: string val commandspan: string -> T
+  val promptN: string val prompt: T
   val stateN: string val state: T
   val subgoalN: string val subgoal: T
   val sendbackN: string val sendback: T
   val hiliteN: string val hilite: T
   val default_output: T -> output * output

 val (commandspanN, commandspan) = markup_string "commandspan" nameN;
 
 
 (* toplevel *)
 
+val (promptN, prompt) = markup_elem "prompt";
 val (stateN, state) = markup_elem "state";
 val (subgoalN, subgoal) = markup_elem "subgoal";
 val (sendbackN, sendback) = markup_elem "sendback";
 val (hiliteN, hilite) = markup_elem "hilite";