--- a/src/Pure/PIDE/markup.ML Wed Feb 26 10:45:06 2014 +0100
+++ b/src/Pure/PIDE/markup.ML Wed Feb 26 10:53:19 2014 +0100
@@ -109,6 +109,7 @@
val tokenN: string val token: Properties.T -> T
val keyword1N: string val keyword1: T
val keyword2N: string val keyword2: T
+ val keyword3N: string val keyword3: T
val elapsedN: string
val cpuN: string
val gcN: string
@@ -400,6 +401,7 @@
val (commandN, command) = markup_elem "command";
val (keyword1N, keyword1) = markup_elem "keyword1";
val (keyword2N, keyword2) = markup_elem "keyword2";
+val (keyword3N, keyword3) = markup_elem "keyword3";
val (operatorN, operator) = markup_elem "operator";
val (stringN, string) = markup_elem "string";
val (altstringN, altstring) = markup_elem "altstring";