X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2Flibrarian.mli;h=1c305c2654bf49ee0d338f0710760f909d58afd8;hb=b36918dbc0e6d0c70c92551e34bdc65cbfddddec;hp=839d8daa1e80381b3aba4faed09bee8a520cf471;hpb=54e4c7dc896732bafcd907b0380d59efa0a181b7;p=helm.git

diff --git a/components/library/librarian.mli b/components/library/librarian.mli
index 839d8daa1..1c305c265 100644
--- a/components/library/librarian.mli
+++ b/components/library/librarian.mli
@@ -2,7 +2,9 @@ exception NoRootFor of string
 
 val find_root: string -> string
 
-(* val parse_root: string -> (string*string) list *)
+val load_root_file: string -> (string*string) list
+
+val absolutize: string -> string 
 
 (* baseuri_of_script ?(inc:REG[matita.includes]) fname 
  *   ->