src/Pure/PIDE/isabelle_markup.ML
changeset 49321 a48f9bbbe720
parent 49036 4680c4046814
child 49358 0fa351b1bd14
     1.1 --- a/src/Pure/PIDE/isabelle_markup.ML	Wed Sep 12 12:09:40 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.ML	Wed Sep 12 13:21:33 2012 +0200
     1.3 @@ -64,8 +64,8 @@
     1.4    val doc_sourceN: string val doc_source: Markup.T
     1.5    val antiqN: string val antiq: Markup.T
     1.6    val ML_antiquotationN: string
     1.7 -  val doc_antiquotationN: string
     1.8 -  val doc_antiquotation_optionN: string
     1.9 +  val document_antiquotationN: string
    1.10 +  val document_antiquotation_optionN: string
    1.11    val keywordN: string val keyword: Markup.T
    1.12    val operatorN: string val operator: Markup.T
    1.13    val commandN: string val command: Markup.T
    1.14 @@ -169,7 +169,7 @@
    1.15  
    1.16  val theoryN = "theory";
    1.17  val classN = "class";
    1.18 -val type_nameN = "type name";
    1.19 +val type_nameN = "type_name";
    1.20  val constantN = "constant";
    1.21  
    1.22  val (fixedN, fixed) = markup_string "fixed" Markup.nameN;
    1.23 @@ -222,9 +222,9 @@
    1.24  val (doc_sourceN, doc_source) = markup_elem "doc_source";
    1.25  
    1.26  val (antiqN, antiq) = markup_elem "antiq";
    1.27 -val ML_antiquotationN = "ML antiquotation";
    1.28 -val doc_antiquotationN = "document antiquotation";
    1.29 -val doc_antiquotation_optionN = "document antiquotation option";
    1.30 +val ML_antiquotationN = "ML_antiquotation";
    1.31 +val document_antiquotationN = "document_antiquotation";
    1.32 +val document_antiquotation_optionN = "document_antiquotation_option";
    1.33  
    1.34  
    1.35  (* outer syntax *)