X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FmatitaFilesystem.mli;h=f2940f4ce11a20fe251514c1b269c27de7d3513b;hb=7c8bd0b1b479f162ba63e0e2eeb27bc2e7d97123;hp=4d1bd50d8d244562ff6533f373350e3aee3fa54c;hpb=92a81bb9f7e51807585feb00f102b1f02d6cf1d3;p=helm.git

diff --git a/matitaB/matita/matitaFilesystem.mli b/matitaB/matita/matitaFilesystem.mli
index 4d1bd50d8..f2940f4ce 100644
--- a/matitaB/matita/matitaFilesystem.mli
+++ b/matitaB/matita/matitaFilesystem.mli
@@ -26,12 +26,14 @@ val reset_lib : unit -> unit
 
 (* val commit : string -> unit *)
 
-val add_user : string -> unit
+val commit : string -> string list -> string
 
-val do_global_commit : unit -> string list
+val add_files : string -> string list -> string
 
-val update_user : string -> (string * svn_flag list) list * string list
+val update_user : 
+  string -> 
+  (string * matita_flag option) list * string list * (int*int*int*int*int)
 
-val stat_user : string -> (string * svn_flag list) list * string list
+val stat_user : string -> (string * matita_flag option) list * string list
 
 val normalize_qfn : string -> string