- "matita.paste_unicode_as_tex", "false"
+ "matita.paste_unicode_as_tex", "false";
+ "matita.noinnertypes", "false";
List.iter (fun key, value -> Helm_registry.set ~key ~value)
let fill_registry init_status =
List.iter (fun key, value -> Helm_registry.set ~key ~value)
let fill_registry init_status =
if not (already_configured [ Registry ] init_status) then begin
set_registry_values registry_defaults;
Registry :: init_status
if not (already_configured [ Registry ] init_status) then begin
set_registry_values registry_defaults;
Registry :: init_status
let reduce_verbosity () =
Helm_registry.set_int "matita.verbosity"
(Helm_registry.get_int "matita.verbosity" - 1) in
let reduce_verbosity () =
Helm_registry.set_int "matita.verbosity"
(Helm_registry.get_int "matita.verbosity" - 1) in
let increase_verbosity () =
Helm_registry.set_int "matita.verbosity"
(Helm_registry.get_int "matita.verbosity" + 1) in
let increase_verbosity () =
Helm_registry.set_int "matita.verbosity"
(Helm_registry.get_int "matita.verbosity" + 1) in
"-noprofile",
Arg.Unit (fun () -> Helm_registry.set_bool "matita.profile" false),
"Turns off profiling printings";
"-noprofile",
Arg.Unit (fun () -> Helm_registry.set_bool "matita.profile" false),
"Turns off profiling printings";
"-profile-only",
Arg.String (fun rex -> Helm_registry.set "matita.profile_only" rex),
"Activates only profiler with label matching the provided regex";
"-profile-only",
Arg.String (fun rex -> Helm_registry.set "matita.profile_only" rex),
"Activates only profiler with label matching the provided regex";
("Act on the system library instead of the user one"
^ "\n WARNING: not for the casual user");
"-v", Arg.Unit increase_verbosity, "Increase verbosity";
("Act on the system library instead of the user one"
^ "\n WARNING: not for the casual user");
"-v", Arg.Unit increase_verbosity, "Increase verbosity";
let parse_cmdline_and_configuration_file () =
status := List.fold_left (fun s f -> f s) !status conf_components
let parse_cmdline_and_configuration_file () =
status := List.fold_left (fun s f -> f s) !status conf_components