X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaInit.mli;h=e8050f9be379a0276945d356de6c204bb1c77bbe;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=be6abfc7a99dd53e4d253a4573d0e29eee2795ea;hpb=51d82e0a8a4d4ed86d2646edb2654e565ac34a82;p=helm.git

diff --git a/helm/matita/matitaInit.mli b/helm/matita/matitaInit.mli
index be6abfc7a..e8050f9be 100644
--- a/helm/matita/matitaInit.mli
+++ b/helm/matita/matitaInit.mli
@@ -23,7 +23,16 @@
  * http://helm.cs.unibo.it/
  *)
 
-val load_config_only: unit -> unit
+  (** {2 global initialization} *)
 val initialize_all: unit -> unit
+
+  (** {2 per-components initialization} *)
+val parse_cmdline: unit -> unit (** parse cmdline setting registry keys *)
+val load_configuration_file: unit -> unit
 val initialize_notation: unit -> unit
 
+  (** {2 Utilities} *)
+
+  (** die nicely: exit with return code 1 printing usage error message *)
+val die_usage: unit -> 'a
+