doc-src/antiquote_setup.ML
changeset 45675 ac54a3abff81
parent 43564 9864182c6bad
child 46261 b03897da3c90
     1.1 --- a/doc-src/antiquote_setup.ML	Tue Nov 29 06:09:41 2011 +0100
     1.2 +++ b/doc-src/antiquote_setup.ML	Tue Nov 29 14:33:18 2011 +0100
     1.3 @@ -205,7 +205,7 @@
     1.4    entity_antiqs (K check_tool) "isatt" "tool" #>
     1.5    entity_antiqs (K (can Thy_Info.get_theory)) "" "theory" #>
     1.6    entity_antiqs (thy_check ML_Context.intern_antiq ML_Context.defined_antiq)
     1.7 -    "" Markup.ML_antiquotationN;
     1.8 +    "" Isabelle_Markup.ML_antiquotationN;
     1.9  
    1.10  end;
    1.11