src/Pure/PIDE/markup.ML

--- a/src/Pure/PIDE/markup.ML	Wed Jan 16 20:40:50 2013 +0100
+++ b/src/Pure/PIDE/markup.ML	Wed Jan 16 20:41:29 2013 +0100
@@ -107,6 +107,7 @@
   val finishedN: string val finished: T
   val failedN: string val failed: T
   val serialN: string
+  val exec_idN: string
   val initN: string
   val statusN: string
   val resultN: string
@@ -364,6 +365,7 @@
 (* messages *)
 
 val serialN = "serial";
+val exec_idN = "exec_id";
 
 val initN = "init";
 val statusN = "status";