]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/helm_registry.mli
- more structured configuration file
[helm.git] / helm / ocaml / registry / helm_registry.mli
index 1f84333fe2bed5426e2061b2688d9d8d52b43fdc..76c5d6f166a21e640b5020a93b6a53183492087b 100644 (file)
@@ -139,10 +139,16 @@ val add_validator:
  *)
 
   (** @param fname file to which save current configuration *)
-val save_to: string -> unit
-
-  (** @param fname file from which load new configuration *)
-val load_from: string -> unit
+(* val save_to: string -> unit *)
+
+  (** @param fname file from which load new configuration. If it's an absolute
+   * file name "path" argument is ignored.
+   * Otherwise given file name is looked up in each directory member of the
+   * given path. Each matching file is loaded overriding previous settings. If
+   * no path is given a default path composed of just the current working
+   * directory is used.
+   *)
+val load_from: ?path:string list -> string -> unit
 
 (*
 (* DEBUGGING *)