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 67870 586be47e00b3
parent 67839 0c2ed45ece20
child 68088 0763d4eb3ebc 
--- a/src/Pure/PIDE/markup.scala	Thu Mar 15 21:26:39 2018 +0100
+++ b/src/Pure/PIDE/markup.scala	Thu Mar 15 21:44:34 2018 +0100
@@ -457,7 +457,6 @@
   val STDOUT = "stdout"
   val STDERR = "stderr"
   val EXIT = "exit"
-  val LOGGER = "logger"
 
   val WRITELN_MESSAGE = "writeln_message"
   val STATE_MESSAGE = "state_message"
isabelle