X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2Flibrarian.mli;h=f448e52b554f72e9578cf95261d0a5e7a789ee62;hb=2b53a3735b2a6130726e0a0451993cd679fd5935;hp=25ab0853e9184e615a7a3b4f73c0f00b58ab6051;hpb=a2257181cddf84a3b831c50398f5b13e2b79ac3a;p=helm.git

diff --git a/helm/software/components/library/librarian.mli b/helm/software/components/library/librarian.mli
index 25ab0853e..f448e52b5 100644
--- a/helm/software/components/library/librarian.mli
+++ b/helm/software/components/library/librarian.mli
@@ -74,7 +74,6 @@ module type Format =
     val mtime_of_source_object: source_object -> float option
     val mtime_of_target_object: target_object -> float option
     val is_readonly_buri_of: options -> source_object -> bool
-    val dotdothack: source_object -> source_object 
   end
 
 module Make :
@@ -97,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