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