--- a/src/Pure/PIDE/markup.scala Tue May 29 20:03:24 2018 +0200
+++ b/src/Pure/PIDE/markup.scala Tue May 29 22:25:59 2018 +0200
@@ -426,6 +426,8 @@
val RUNNING = "running"
val FINISHED = "finished"
val FAILED = "failed"
+
+ val INITIALIZED = "initialized"
val CONSOLIDATED = "consolidated"