src/Pure/PIDE/isabelle_markup.scala
changeset 49554 7b7bd2d7661d
parent 49473 ca7e2c21b104
child 49566 66cbf8bb4693
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Mon Sep 24 16:41:51 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Mon Sep 24 17:28:36 2012 +0200
     1.3 @@ -152,6 +152,9 @@
     1.4    val COMMENT = "comment"
     1.5    val CONTROL = "control"
     1.6  
     1.7 +  val KEYWORD1 = "keyword1"
     1.8 +  val KEYWORD2 = "keyword2"
     1.9 +
    1.10  
    1.11    /* timing */
    1.12