--- a/src/Pure/PIDE/markup.ML Wed Aug 13 20:21:04 2014 +0200
+++ b/src/Pure/PIDE/markup.ML Fri Aug 15 13:39:59 2014 +0200
@@ -156,6 +156,7 @@
val tracingN: string
val warningN: string
val errorN: string
+ val systemN: string
val protocolN: string
val legacyN: string val legacy: T
val promptN: string val prompt: T
@@ -527,6 +528,7 @@
val tracingN = "tracing";
val warningN = "warning";
val errorN = "error";
+val systemN = "system";
val protocolN = "protocol";
val (legacyN, legacy) = markup_elem "legacy";