--- a/src/Pure/PIDE/markup.scala Tue Aug 08 12:21:29 2017 +0200
+++ b/src/Pure/PIDE/markup.scala Tue Aug 08 22:13:05 2017 +0200
@@ -423,6 +423,7 @@
val RUNNING = "running"
val FINISHED = "finished"
val FAILED = "failed"
+ val CONSOLIDATED = "consolidated"
/* interactive documents */