modifications to make matita behave reasonably, removed some useless windows

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

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