ocaml 3.09 transition

[helm.git] / helm / matita / matitaInit.mli

diff --git a/helm/matita/matitaInit.mli b/helm/matita/matitaInit.mli
index be6abfc7a99dd53e4d253a4573d0e29eee2795ea..e8050f9be379a0276945d356de6c204bb1c77bbe 100644 (file)
--- 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
+