"matita.system", "false";
"matita.verbosity", "1";
"matita.bench", "false";
- "matita.paste_unicode_as_tex", "false"
+ "matita.paste_unicode_as_tex", "false";
+ "matita.noinnertypes", "false";
(** verbosity level: 1 is the default, 0 is intuitively "quiet", > 1 is
* intuitively verbose *)
]
Helm_registry.set_int "matita.verbosity"
(Helm_registry.get_int "matita.verbosity" + 1) in
let no_innertypes () =
- Helm_registry.set_bool "matita.noinnertypes" false in
+ Helm_registry.set_bool "matita.noinnertypes" true in
let arg_spec =
let std_arg_spec = [
"-I", Arg.String (add_l includes),