Matitaweb: several improvements to svn interface.

[helm.git] / matitaB / matita / matitaFilesystem.mli

diff --git a/matitaB/matita/matitaFilesystem.mli b/matitaB/matita/matitaFilesystem.mli
index 13d900bededee243daf1e0651f9b9628d4a285c4..0347304efca4a7b294bf2cc6f875937531e0d949 100644 (file)
--- a/matitaB/matita/matitaFilesystem.mli
+++ b/matitaB/matita/matitaFilesystem.mli
@@ -28,9 +28,11 @@ val reset_lib : unit -> unit
 
 val add_user : string -> unit
 
-val do_global_commit : unit -> string list
+val do_global_commit : unit -> string list * string
 
-val update_user : string -> (string * matita_flag option) 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