src/Pure/PIDE/markup.scala
changeset 59112 e670969f34df
parent 59081 2ceb05ee0331
child 59184 830bb7ddb3ab
     1.1 --- a/src/Pure/PIDE/markup.scala	Mon Dec 08 16:04:50 2014 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Mon Dec 08 22:42:12 2014 +0100
     1.3 @@ -241,6 +241,7 @@
     1.4    val ML_NUMERAL = "ML_numeral"
     1.5    val ML_CHAR = "ML_char"
     1.6    val ML_STRING = "ML_string"
     1.7 +  val ML_CARTOUCHE = "ML_cartouche"
     1.8    val ML_COMMENT = "ML_comment"
     1.9    val SML_STRING = "SML_string"
    1.10    val SML_COMMENT = "SML_comment"