X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2Flibrarian.mli;fp=components%2Flibrary%2Flibrarian.mli;h=9d042a10618111bee04f9156fe344a86ccb1bb39;hb=bd258ecf3eae6aef4ff6b1d1dd8e1c8c2bb17677;hp=1c305c2654bf49ee0d338f0710760f909d58afd8;hpb=b066ec682141c7c41d77e80d70c71aeadd1f1ab3;p=helm.git

diff --git a/components/library/librarian.mli b/components/library/librarian.mli
index 1c305c265..9d042a106 100644
--- a/components/library/librarian.mli
+++ b/components/library/librarian.mli
@@ -1,16 +1,15 @@
 exception NoRootFor of string
 
-val find_root: string -> string
+val absolutize: string -> string 
 
+val find_root: string -> string
 val load_root_file: string -> (string*string) list
 
-val absolutize: string -> string 
-
 (* baseuri_of_script ?(inc:REG[matita.includes]) fname 
  *   -> 
  * root, buri, fullpath, rootrelativepath
  * sample: baseuri_of_script a.ma -> /home/pippo/devel/, cic:/matita/a,
- * /home/pippo/devel/a.ma *)
+ * /home/pippo/devel/a.ma, a.ma *)
 val baseuri_of_script: 
   include_paths:string list -> string -> string * string * string * string