(* 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 * 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
+val stat_user : string -> (string * matita_flag option) list * string list
val normalize_qfn : string -> string