tagging rc-1

[helm.git] / matita / matitaInit.mli

diff --git a/matita/matitaInit.mli b/matita/matitaInit.mli
index c796f48544e586277ff947a395dc20b57b0f58fa..ac0dc6a7576112cee438defbe3fff28effc29545 100644 (file)
--- a/matita/matitaInit.mli
+++ b/matita/matitaInit.mli
@@ -27,9 +27,8 @@
 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} *)