-let registry_defaults =
- [
- "db.nodb", "false";
- "matita.system", "false";
- "matita.debug", "false";
- "matita.external_editor", "gvim -f -c 'go %p' %f";
- "matita.preserve", "false";
- "matita.quiet", "false";
- "matita.profile", "true";
- ]
+let registry_defaults = [
+ "matita.debug", "false";
+ "matita.debug_menu", "false";
+ "matita.external_editor", "gvim -f -c 'go %p' %f";
+ "matita.profile", "true";
+ "matita.system", "false";
+ "matita.verbose", "false";
+ "matita.paste_unicode_as_tex", "false";
+ "matita.noinnertypes", "false";
+ "matita.do_heavy_checks", "true";
+ "matita.moo", "true";
+ "matita.extract", "false";
+]