get rid of gragrep, matitamake(Lib) and development windows,

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

diff --git a/components/library/librarian.mli b/components/library/librarian.mli
index a6b3c6849a4245a9c18308a5c9bec0d1e9ce44dc..5280dbbf8a4c0460647380d4ad08117731ca025e 100644 (file)
--- a/components/library/librarian.mli
+++ b/components/library/librarian.mli
@@ -1,6 +1,8 @@
 exception NoRootFor of string
 
-val find_root : string -> string
+val find_root: string -> string
+
+val parse_root: string -> (string*string) list
 
 (* baseuri_of_script ?(inc:REG[matita.includes]) fname -> root, buri, fullpath 
  * sample: baseuri_of_script a.ma -> /home/pippo/devel/, cic:/matita/a,