diff -r 882aa078eeae -r c4e2762a265c src/Pure/PIDE/isabelle_markup.ML
--- a/src/Pure/PIDE/isabelle_markup.ML	Mon Oct 01 20:16:37 2012 +0200
+++ b/src/Pure/PIDE/isabelle_markup.ML	Mon Oct 01 20:17:30 2012 +0200
@@ -96,6 +96,13 @@
   val finishedN: string val finished: Markup.T
   val failedN: string val failed: Markup.T
   val serialN: string
+  val initN: string
+  val statusN: string
+  val writelnN: string
+  val tracingN: string
+  val warningN: string
+  val errorN: string
+  val protocolN: string
   val legacyN: string val legacy: Markup.T
   val promptN: string val prompt: Markup.T
   val reportN: string val report: Markup.T
@@ -291,6 +298,14 @@
 
 val serialN = "serial";
 
+val initN = "init";
+val statusN = "status";
+val writelnN = "writeln";
+val tracingN = "tracing";
+val warningN = "warning";
+val errorN = "error";
+val protocolN = "protocol";
+
 val (legacyN, legacy) = markup_elem "legacy";
 val (promptN, prompt) = markup_elem "prompt";