src/Pure/General/markup.scala

   val ML_SOURCE = "ML_source"
   val DOC_SOURCE = "doc_source"
 
   val ANTIQ = "antiq"
   val ML_ANTIQUOTATION = "ML antiquotation"
-  val DOC_ANTIQ = "doc_antiq"
+  val DOCUMENT_ANTIQUOTATION = "document antiquotation"
+  val DOCUMENT_ANTIQUOTATION_OPTION = "document antiquotation option"
 
 
   /* ML syntax */
 
   val ML_KEYWORD = "ML_keyword"