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

diff --git a/helm/software/components/library/librarian.mli b/helm/software/components/library/librarian.mli
index c682579c2..0c74f3ea5 100644
--- a/helm/software/components/library/librarian.mli
+++ b/helm/software/components/library/librarian.mli
@@ -90,5 +90,9 @@ module Make :
  * state that plus.ma needs nat and equality
  *)
 val load_deps_file: string -> (string * string list) list
-val write_deps_file: string -> (string * string list) list -> unit
+val write_deps_file: string option -> (string * string list) list -> unit
 
+(* FG ***********************************************************************)
+
+(* true if the argunent starts with a uri scheme prefix *)
+val is_uri: string -> bool