removed all Developments related stuff in glade file,

[helm.git] / components / library / librarian.mli

diff --git a/components/library/librarian.mli b/components/library/librarian.mli
index 1c305c2654bf49ee0d338f0710760f909d58afd8..9d042a10618111bee04f9156fe344a86ccb1bb39 100644 (file)
--- 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