src/Doc/antiquote_setup.ML

--- a/src/Doc/antiquote_setup.ML	Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Doc/antiquote_setup.ML	Sun Nov 25 19:49:24 2012 +0100
@@ -210,7 +210,7 @@
   entity_antiqs no_check "isatt" "executable" #>
   entity_antiqs (K check_tool) "isatool" "tool" #>
   entity_antiqs (thy_check ML_Context.intern_antiq ML_Context.defined_antiq)
-    "" Isabelle_Markup.ML_antiquotationN;
+    "" Markup.ML_antiquotationN;
 
 end;