changeset 73761 | ef1a18e20ace |
parent 72763 | 3cc73d00553c |
child 76884 | a004c5322ea4 |
--- a/src/Pure/System/isabelle_tool.ML Fri May 21 11:19:53 2021 +0200 +++ b/src/Pure/System/isabelle_tool.ML Fri May 21 12:29:29 2021 +0200 @@ -38,7 +38,7 @@ val _ = Theory.setup - (Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>tool\<close> + (Document_Output.antiquotation_verbatim_embedded \<^binding>\<open>tool\<close> (Scan.lift Parse.embedded_position) check); end;