--- a/src/Pure/ML/ml_context.ML Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Pure/ML/ml_context.ML Sun Nov 25 19:49:24 2012 +0100
@@ -103,7 +103,7 @@
structure Antiq_Parsers = Theory_Data
(
type T = (Position.T -> antiq context_parser) Name_Space.table;
- val empty : T = Name_Space.empty_table Isabelle_Markup.ML_antiquotationN;
+ val empty : T = Name_Space.empty_table Markup.ML_antiquotationN;
val extend = I;
fun merge data : T = Name_Space.merge_tables data;
);
@@ -119,7 +119,7 @@
val thy = Proof_Context.theory_of ctxt;
val ((xname, _), pos) = Args.dest_src src;
val (_, scan) = Name_Space.check (Context.Proof ctxt) (Antiq_Parsers.get thy) (xname, pos);
- in Args.context_syntax Isabelle_Markup.ML_antiquotationN (scan pos) src ctxt end;
+ in Args.context_syntax Markup.ML_antiquotationN (scan pos) src ctxt end;
(* parsing and evaluation *)