src/Pure/Thy/thy_output.ML
changeset 49321 a48f9bbbe720
parent 49244 fb669aff821e
child 49847 ed5080c03165
     1.1 --- a/src/Pure/Thy/thy_output.ML	Wed Sep 12 12:09:40 2012 +0200
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Wed Sep 12 13:21:33 2012 +0200
     1.3 @@ -83,8 +83,8 @@
     1.4      (Args.src -> Toplevel.state -> Proof.context -> string) Name_Space.table *
     1.5        (string -> Proof.context -> Proof.context) Name_Space.table;
     1.6    val empty : T =
     1.7 -    (Name_Space.empty_table Isabelle_Markup.doc_antiquotationN,
     1.8 -      Name_Space.empty_table Isabelle_Markup.doc_antiquotation_optionN);
     1.9 +    (Name_Space.empty_table Isabelle_Markup.document_antiquotationN,
    1.10 +      Name_Space.empty_table Isabelle_Markup.document_antiquotation_optionN);
    1.11    val extend = I;
    1.12    fun merge ((commands1, options1), (commands2, options2)) : T =
    1.13      (Name_Space.merge_tables (commands1, commands2),