--- a/src/Doc/more_antiquote.ML Tue Jan 09 15:18:41 2018 +0100
+++ b/src/Doc/more_antiquote.ML Tue Jan 09 15:40:12 2018 +0100
@@ -20,7 +20,7 @@
in
val _ =
- Theory.setup (Thy_Output.antiquotation @{binding class_spec} (Scan.lift Args.name)
+ Theory.setup (Document_Antiquotation.setup @{binding class_spec} (Scan.lift Args.name)
(fn {context, ...} => class_spec context));
end;
@@ -53,7 +53,7 @@
in
val _ =
- Theory.setup (Thy_Output.antiquotation @{binding code_thms} Args.term
+ Theory.setup (Document_Antiquotation.setup @{binding code_thms} Args.term
(fn {context, ...} => pretty_code_thm context));
end;