src/Pure/PIDE/markup.scala
changeset 59081 2ceb05ee0331
parent 58978 e42da880c61e
child 59112 e670969f34df
     1.1 --- a/src/Pure/PIDE/markup.scala	Tue Dec 02 17:30:53 2014 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Wed Dec 03 11:37:51 2014 +0100
     1.3 @@ -261,7 +261,7 @@
     1.4    val IMPROPER = "improper"
     1.5    val OPERATOR = "operator"
     1.6    val STRING = "string"
     1.7 -  val ALTSTRING = "altstring"
     1.8 +  val ALT_STRING = "alt_string"
     1.9    val VERBATIM = "verbatim"
    1.10    val CARTOUCHE = "cartouche"
    1.11    val COMMENT = "comment"