# HG changeset patch
# User kuncar
# Date 1322587351 -3600
# Node ID af0b0e628e51c8bc3785dcbcdc87432ddb7b36f1
# Parent  fa46fef0659047c715c23cfd9d840f3a65cf8ad0# Parent  ac54a3abff8123bcccfb3b244650a4f772bb163d
merged

diff -r fa46fef06590 -r af0b0e628e51 doc-src/antiquote_setup.ML
--- a/doc-src/antiquote_setup.ML	Tue Nov 29 14:16:06 2011 +0100
+++ b/doc-src/antiquote_setup.ML	Tue Nov 29 18:22:31 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;