changeset 74789 | a5c23da73fca |
parent 74696 | 0554a5c4c191 |
child 74790 | 3ce6fb9db485 |
--- a/src/Pure/PIDE/resources.ML Sun Nov 14 21:52:13 2021 +0100 +++ b/src/Pure/PIDE/resources.ML Mon Nov 15 11:38:14 2021 +0100 @@ -418,7 +418,7 @@ Args.context -- Scan.lift Parse.path_input >> (fn (ctxt, source) => (check ctxt NONE source; Latex.string (Latex.output_ascii_breakable "/" (Input.string_of source)) - |> Latex.enclose_text "\\isatt{" "}")); + |> XML.enclose "\\isatt{" "}")); fun ML_antiq check = Args.context -- Scan.lift Parse.path_input >> (fn (ctxt, source) =>