X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaInit.mli;h=ac0dc6a7576112cee438defbe3fff28effc29545;hb=b2abc81f0b76224f6f4f526feaf1fefd6178ae7d;hp=63b84b448a85028d32c2f0cb111a0afa83ffd1d5;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/matita/matitaInit.mli b/matita/matitaInit.mli
index 63b84b448..ac0dc6a75 100644
--- a/matita/matitaInit.mli
+++ b/matita/matitaInit.mli
@@ -27,12 +27,14 @@
 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
+val initialize_environment: unit -> unit
 
   (** {2 Utilities} *)
 
   (** die nicely: exit with return code 1 printing usage error message *)
 val die_usage: unit -> 'a
 
+  (** add extra command line options *)
+val add_cmdline_spec: (Arg.key * Arg.spec * Arg.doc) list -> unit
+