X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Flibrary%2Flibrarian.mli;h=af83c56d7a4ddf0532c45af39d9916fc454ef807;hb=50a9ed8c6207145fccf59e6a5dbbff935cd2c6d7;hp=4eed9051d459784866b28138523e29ff61bb8c25;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/library/librarian.mli b/matita/components/library/librarian.mli
index 4eed9051d..af83c56d7 100644
--- a/matita/components/library/librarian.mli
+++ b/matita/components/library/librarian.mli
@@ -24,6 +24,7 @@
  *)
 
 exception NoRootFor of string
+exception FileNotFound of string
 
 (* make a relative path absolute *)
 val absolutize: string -> string 
@@ -58,48 +59,5 @@ val mk_baseuri: string -> string -> string
  *)
 val find_roots_in_dir: string -> string list
 
-(* make implementation *)
-type options = (string * string) list
-
-module type Format =
-  sig
-    type source_object
-    type target_object
-    val load_deps_file: string -> (source_object * source_object list) list
-    val string_of_source_object: source_object -> string
-    val string_of_target_object: target_object -> string
-    val build: options -> source_object -> bool
-    val root_and_target_of: 
-          options -> source_object -> 
-	   (* root, relative source, writeable target, read only target *)
-	   string option * source_object * target_object * target_object
-    val mtime_of_source_object: source_object -> float option
-    val mtime_of_target_object: target_object -> float option
-    val is_readonly_buri_of: options -> source_object -> bool
-  end
-
-module Make :
-  functor (F : Format) ->
-    sig
-      (* make [root dir] [targets], targets = [] means make all *)
-      val make : string -> F.source_object list ->  bool
-    end
-
-(* deps are made with scripts names, for example lines like
- *
- *   nat/plus.ma nat/nat.ma logic/equality.ma
- *
- * state that plus.ma needs nat and equality
- *)
-val load_deps_file: string -> (string * string list) list
-val write_deps_file: string option -> (string * string list) list -> unit
-
-(* FG ***********************************************************************)
-
 (* true if the argunent starts with a uri scheme prefix *)
 val is_uri: string -> bool
-
-(* Valid values: 0: no debug; 1: normal debug; > 1: extra debug *)
-val debug: int ref
-
-val time_stamp: string -> unit