src/Pure/General/markup.ML

   val subgoalN: string val subgoal: T
   val sendbackN: string val sendback: T
   val hiliteN: string val hilite: T
   val unprocessedN: string val unprocessed: T
   val runningN: string val running: T
+  val failedN: string val failed: T
   val finishedN: string val finished: T
-  val failedN: string val failed: T
   val disposedN: string val disposed: T
   val default_output: T -> output * output
   val add_mode: string -> (T -> output * output) -> unit
   val output: T -> output * output
   val enclose: T -> output -> output

 
 (* command status *)
 
 val (unprocessedN, unprocessed) = markup_elem "unprocessed";
 val (runningN, running) = markup_elem "running";
+val (failedN, failed) = markup_elem "failed";
 val (finishedN, finished) = markup_elem "finished";
-val (failedN, failed) = markup_elem "failed";
 val (disposedN, disposed) = markup_elem "disposed";
 
 
 (* print mode operations *)