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

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index bc06a56e5..c3fdb2459 100644
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -27,21 +27,10 @@ open Printf
 
 open MatitaGtkMisc
 open MatitaTypes
-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} *)