X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaInit.ml;h=d8d498a32018c047cd19d93cb15e344cae3686d6;hb=831f51f3a0a972c741705dcc3244e79fe6c1b634;hp=705108aa659304311e540d12a9e3bb567ad23e48;hpb=1436037fbaeb5155b485371298b3656bc636f22f;p=helm.git

diff --git a/helm/software/matita/matitaInit.ml b/helm/software/matita/matitaInit.ml
index 705108aa6..d8d498a32 100644
--- a/helm/software/matita/matitaInit.ml
+++ b/helm/software/matita/matitaInit.ml
@@ -44,6 +44,7 @@ let conffile = ref BuildTimeConf.matita_conf
 
 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";