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
("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";