src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Thu Feb 20 12:53:12 2014 +0100
+++ b/src/Pure/PIDE/markup.scala	Thu Feb 20 13:23:49 2014 +0100
@@ -93,6 +93,9 @@
   val LANGUAGE = "language"
   object Language
   {
+    val ML = "ML"
+    val UNKNOWN = "unknown"
+
     def unapply(markup: Markup): Option[(String, Boolean)] =
       markup match {
         case Markup(LANGUAGE, props) =>