X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2Flibrarian.mli;h=63c900036f89d92f4dd98fd0a4cdcc5195ced80e;hb=aa665248454b1dcaf8cfe622dc1a159602119708;hp=0db8a83ef9a7719ebde8b348d6218352d254db04;hpb=39293015293690528de4243d8cb86434f48b4b8c;p=helm.git

diff --git a/helm/software/components/library/librarian.mli b/helm/software/components/library/librarian.mli
index 0db8a83ef..63c900036 100644
--- a/helm/software/components/library/librarian.mli
+++ b/helm/software/components/library/librarian.mli
@@ -2,7 +2,6 @@ exception NoRootFor of string
 
 val absolutize: string -> string 
 
-val find_root: string -> string
 val load_root_file: string -> (string*string) list
 
 (* baseuri_of_script ?(inc:REG[matita.includes]) fname 
@@ -13,6 +12,8 @@ val load_root_file: string -> (string*string) list
 val baseuri_of_script: 
   include_paths:string list -> string -> string * string * string * string
 
+val mk_baseuri: string -> string -> string
+
 (* finds all the roots files in the specified dir *)
 val find_roots_in_dir: string -> string list
 
@@ -31,6 +32,7 @@ module type Format =
           options -> source_object -> string option * target_object
     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
   end
 
 module Make :