(* from matitacLib *)
-let pp_ast_statement =
+let pp_ast_statement st =
GrafiteAstPp.pp_statement ~term_pp:CicNotationPp.pp_term
- ~lazy_term_pp:CicNotationPp.pp_term ~obj_pp:(CicNotationPp.pp_obj CicNotationPp.pp_term)
+ ~map_unicode_to_tex:(Helm_registry.get_bool
+ "matita.paste_unicode_as_tex")
+ ~lazy_term_pp:CicNotationPp.pp_term ~obj_pp:(CicNotationPp.pp_obj CicNotationPp.pp_term) st
(**)
let dump f =
+ Helm_registry.set_bool "matita.moo" false;
let floc = H.dummy_floc in
let nl_ast = G.Comment (floc, G.Note (floc, "")) in
let och = open_out f in
at_exit atexit
let main () =
+ Helm_registry.set_bool "matita.moo" true;
match Filename.basename Sys.argv.(0) with
|"gragrep" |"gragrep.opt" |"gragrep.opt.static" ->Gragrep.main()
|"matitadep" |"matitadep.opt" |"matitadep.opt.static" ->Matitadep.main()