(* initialization, MOVE OUTSIDE *)
let matita_debug = Helm_registry.get_bool "matita.debug" in
let clean_baseuri = not (Helm_registry.get_bool "matita.preserve") in
(* initialization, MOVE OUTSIDE *)
let matita_debug = Helm_registry.get_bool "matita.debug" in
let clean_baseuri = not (Helm_registry.get_bool "matita.preserve") in