release snapshot

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

diff --git a/helm/matita/matitaInit.mli b/helm/matita/matitaInit.mli
index 9d86712990896e44111638a015ecc72825badd59..63b84b448a85028d32c2f0cb111a0afa83ffd1d5 100644 (file)
--- a/helm/matita/matitaInit.mli
+++ b/helm/matita/matitaInit.mli
@@ -27,6 +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