X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.ml;h=45ad19556de1f2f8c45a663e8cfa685f7f5af01e;hb=9adc60caf3223c659d8b64228e90c25cc8d76530;hp=bc06a56e50c6e3c1edc4efecd8e316fda4afc321;hpb=1946ca7a51df0acb35d8e2ea001d194f1d2ccb12;p=helm.git

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index bc06a56e5..45ad19556 100644
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -31,17 +31,7 @@ open MatitaMisc
 
 (** {2 Initialization} *)
 
-let _ =
-  Helm_registry.load_from BuildTimeConf.matita_conf;
-  CicNotation.load_notation BuildTimeConf.core_notation_script;
-  Http_getter.init ();
-  MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
-  MatitaDb.create_owner_environment ();
-  MatitamakeLib.initialize ();
-  CicEnvironment.set_trust (* environment trust *)
-    (let trust = Helm_registry.get_bool "matita.environment_trust" in
-     fun _ -> trust);
-  Paramodulation.Saturation.init ()
+let _ = MatitaInit.initialize_all () 
 
 (** {2 GUI callbacks} *)