# HG changeset patch
# User bulwahn
# Date 1322573598 -3600
# Node ID ac54a3abff8123bcccfb3b244650a4f772bb163d
# Parent  06e259492f6b26a7c3f4ce068ceac28afb739cd7
adjusting antiquote_setup (cf. d83797ef0d2d)

diff -r 06e259492f6b -r ac54a3abff81 doc-src/antiquote_setup.ML
--- 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;