X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaInit.mli;h=272657cc3d83a8f157bda88caef4036152899165;hb=fdda444a05fe4c68c925cd94e4e3a38c93d0c35f;hp=c796f48544e586277ff947a395dc20b57b0f58fa;hpb=9376f52b7f5890d924ae7d93bcae2af9e516126d;p=helm.git

diff --git a/helm/software/matita/matitaInit.mli b/helm/software/matita/matitaInit.mli
index c796f4854..272657cc3 100644
--- a/helm/software/matita/matitaInit.mli
+++ b/helm/software/matita/matitaInit.mli
@@ -27,9 +27,7 @@
 val initialize_all: unit -> unit
 
   (** {2 per-components initialization} *)
-val fill_registry: unit -> unit (** fill registry with default values *)
-val parse_cmdline: unit -> unit (** parse cmdline setting registry keys *)
-val load_configuration_file: unit -> unit
+val parse_cmdline_and_configuration_file: unit -> unit
 
   (** {2 Utilities} *)