try Hashtbl.find usages usage_key with Not_found -> default_usage
let registry_defaults =
- [ "matita.debug", "false";
- "matita.quiet", "false";
- "matita.preserve", "false";
- "db.nodb", "false";
+ [
+ "db.nodb", "false";
+ "matita.debug", "false";
+ "matita.external_editor", "gvim -f -c 'go %p' %f";
+ "matita.preserve", "false";
+ "matita.quiet", "false";
]
let set_registry_values =