src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Wed Feb 26 11:14:38 2014 +0100
+++ b/src/Pure/PIDE/markup.scala	Wed Feb 26 11:58:35 2014 +0100
@@ -210,9 +210,9 @@
   /* outer syntax */
 
   val COMMAND = "command"
-
   val KEYWORD1 = "keyword1"
   val KEYWORD2 = "keyword2"
+  val KEYWORD3 = "keyword3"
   val OPERATOR = "operator"
   val STRING = "string"
   val ALTSTRING = "altstring"