changeset 74790 | 3ce6fb9db485 |
parent 74789 | a5c23da73fca |
child 75586 | b2b097624e4c |
--- a/src/Pure/PIDE/resources.ML Mon Nov 15 11:38:14 2021 +0100 +++ b/src/Pure/PIDE/resources.ML Mon Nov 15 17:26:31 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)) - |> XML.enclose "\\isatt{" "}")); + |> Latex.macro "isatt")); fun ML_antiq check = Args.context -- Scan.lift Parse.path_input >> (fn (ctxt, source) =>