X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2Flibrarian.mli;h=f448e52b554f72e9578cf95261d0a5e7a789ee62;hb=fdd518320bc83f20e8cef9dd6638c9cf6dd6345d;hp=0c74f3ea5cc7fd28c8988ef6d7edbfbe52229599;hpb=20377cd037f6cc5eb9c6a5664354a8a0189d3f4f;p=helm.git

diff --git a/helm/software/components/library/librarian.mli b/helm/software/components/library/librarian.mli
index 0c74f3ea5..f448e52b5 100644
--- a/helm/software/components/library/librarian.mli
+++ b/helm/software/components/library/librarian.mli
@@ -96,3 +96,7 @@ val write_deps_file: string option -> (string * string list) list -> unit
 
 (* true if the argunent starts with a uri scheme prefix *)
 val is_uri: string -> bool
+
+val debug: bool ref
+
+val time_stamp: string -> unit