let args = Helm_registry.get_list Helm_registry.string "matita.args" in
let gui = MatitaGui.instance () in
init_debugging_menu gui;
let args = Helm_registry.get_list Helm_registry.string "matita.args" in
let gui = MatitaGui.instance () in
init_debugging_menu gui;