let nl () = output_string och (pp_statement nl_ast) in
MatitaMisc.out_preamble och;
let grafite_parser_cb status = function
- | G.Executable (_, G.Macro (_, G.Inline (_, style, uri, prefix, flavour))) ->
+ | G.Executable (_, G.Macro (_, G.Inline (_, uri, params))) ->
let str =
- ApplyTransformation.txt_of_inline_macro style prefix uri
- ?flavour
+ ApplyTransformation.txt_of_inline_macro params uri
~map_unicode_to_tex:
(Helm_registry.get_bool "matita.paste_unicode_as_tex")
in
with MatitaEngine.EnrichedWithStatus
(GrafiteEngine.Macro (floc, f), lexicon, grafite) as exn ->
match f (get_macro_context (Some grafite)) with
- | _, GrafiteAst.Inline (_, style, suri, prefix, flavour) ->
+ | _, GrafiteAst.Inline (_, _suri, _params) ->
(*
let str =
ApplyTransformation.txt_of_inline_macro style prefix suri