--- a/src/Pure/General/markup.scala Fri Nov 25 16:32:29 2011 +0100
+++ b/src/Pure/General/markup.scala Fri Nov 25 18:37:14 2011 +0100
@@ -257,6 +257,7 @@
val RAW = "raw"
val SYSTEM = "system"
val STDOUT = "stdout"
+ val STDERR = "stderr"
val EXIT = "exit"
val LEGACY = "legacy"