src/Pure/PIDE/isabelle_markup.scala

--- a/src/Pure/PIDE/isabelle_markup.scala	Mon Sep 24 16:41:51 2012 +0200
+++ b/src/Pure/PIDE/isabelle_markup.scala	Mon Sep 24 17:28:36 2012 +0200
@@ -152,6 +152,9 @@
   val COMMENT = "comment"
   val CONTROL = "control"
 
+  val KEYWORD1 = "keyword1"
+  val KEYWORD2 = "keyword2"
+
 
   /* timing */