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 67839 0c2ed45ece20
parent 67336 3ee6da378183
child 67870 586be47e00b3 
--- a/src/Pure/PIDE/markup.scala	Mon Mar 12 11:37:30 2018 +0100
+++ b/src/Pure/PIDE/markup.scala	Mon Mar 12 16:32:33 2018 +0100
@@ -457,6 +457,7 @@
   val STDOUT = "stdout"
   val STDERR = "stderr"
   val EXIT = "exit"
+  val LOGGER = "logger"
 
   val WRITELN_MESSAGE = "writeln_message"
   val STATE_MESSAGE = "state_message"
isabelle