Matitaweb: more changes to commit (now almost usable).

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

diff --git a/matitaB/matita/matitaFilesystem.mli b/matitaB/matita/matitaFilesystem.mli
index 0347304efca4a7b294bf2cc6f875937531e0d949..f2940f4ce11a20fe251514c1b269c27de7d3513b 100644 (file)
--- a/matitaB/matita/matitaFilesystem.mli
+++ b/matitaB/matita/matitaFilesystem.mli
@@ -26,14 +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 * string
+val add_files : string -> string list -> string
 
 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