src/Pure/PIDE/markup.scala
changeset 55526 39708e59f4b0
parent 55505 2a1ca7f6607b
child 55552 bcc643ac071a
     1.1 --- a/src/Pure/PIDE/markup.scala	Sun Feb 16 21:33:28 2014 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Mon Feb 17 11:14:26 2014 +0100
     1.3 @@ -155,7 +155,9 @@
     1.4    val ML_SOURCE = "ML_source"
     1.5    val DOCUMENT_SOURCE = "document_source"
     1.6  
     1.7 -  val ANTIQ = "antiq"
     1.8 +  val ANTIQUOTED = "antiquoted"
     1.9 +  val ANTIQUOTE = "antiquote"
    1.10 +
    1.11    val ML_ANTIQUOTATION = "ML_antiquotation"
    1.12    val DOCUMENT_ANTIQUOTATION = "document_antiquotation"
    1.13    val DOCUMENT_ANTIQUOTATION_OPTION = "document_antiquotation_option"