Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML
changeset 73761 ef1a18e20ace
parent 72450 24bd1316eaae
child 74114 700e5bd59c7d 
--- a/src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML	Fri May 21 11:19:53 2021 +0200
+++ b/src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML	Fri May 21 12:29:29 2021 +0200
@@ -1200,7 +1200,7 @@
 local
 
 fun antiquote_setup binding co =
-  Thy_Output.antiquotation_pretty_source_embedded binding
+  Document_Output.antiquotation_pretty_source_embedded binding
     ((Scan.ahead (Scan.lift Parse.not_eof) >> Token.pos_of) --
       Args.type_name {proper = true, strict = true})
     (fn ctxt => fn (pos, type_name) =>
isabelle