MatitaInit.initialize_environment ();
if not (Helm_registry.get_bool "matita.verbose") then MatitaMisc.shutup ();
let cmdline_args = HR.get_list HR.string "matita.args" in
MatitaInit.initialize_environment ();
if not (Helm_registry.get_bool "matita.verbose") then MatitaMisc.shutup ();
let cmdline_args = HR.get_list HR.string "matita.args" in