src/Pure/PIDE/command.scala

--- a/src/Pure/PIDE/command.scala	Thu May 20 10:31:20 2010 +0200
+++ b/src/Pure/PIDE/command.scala	Thu May 20 10:43:46 2010 +0200
@@ -20,6 +20,7 @@
     val UNPROCESSED = Value("UNPROCESSED")
     val FINISHED = Value("FINISHED")
     val FAILED = Value("FAILED")
+    val UNDEFINED = Value("UNDEFINED")
   }
 
   case class HighlightInfo(highlight: String) { override def toString = highlight }