src/Pure/General/markup.scala
changeset 45633 2cb7e34f6096
parent 45445 41e641a870de
child 45666 d83797ef0d2d
     1.1 --- a/src/Pure/General/markup.scala	Fri Nov 25 16:32:29 2011 +0100
     1.2 +++ b/src/Pure/General/markup.scala	Fri Nov 25 18:37:14 2011 +0100
     1.3 @@ -257,6 +257,7 @@
     1.4    val RAW = "raw"
     1.5    val SYSTEM = "system"
     1.6    val STDOUT = "stdout"
     1.7 +  val STDERR = "stderr"
     1.8    val EXIT = "exit"
     1.9  
    1.10    val LEGACY = "legacy"