Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/markup.scala
changeset 68770 add44e2b8cb0
parent 68323 bf7336731981
child 68822 253f04c1e814 
--- a/src/Pure/PIDE/markup.scala	Sat Aug 18 17:29:49 2018 +0200
+++ b/src/Pure/PIDE/markup.scala	Sat Aug 18 22:09:09 2018 +0200
@@ -456,6 +456,7 @@
   val WARNING = "warning"
   val LEGACY = "legacy"
   val ERROR = "error"
+  val NODES_STATUS = "nodes_status"
   val PROTOCOL = "protocol"
   val SYSTEM = "system"
   val STDOUT = "stdout"
isabelle