X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FmatitaFilesystem.mli;h=f2940f4ce11a20fe251514c1b269c27de7d3513b;hb=b3afed9fd3cc38ecd4578f6b0741be50872a2828;hp=ed840d230c3a9eea1a3b5334ba0dbe84d730437a;hpb=acf77bb24694158a57444c7f32da46ceac8b30c4;p=helm.git

diff --git a/matitaB/matita/matitaFilesystem.mli b/matitaB/matita/matitaFilesystem.mli
index ed840d230..f2940f4ce 100644
--- a/matitaB/matita/matitaFilesystem.mli
+++ b/matitaB/matita/matitaFilesystem.mli
@@ -1,13 +1,39 @@
 exception SvnError of string;;
 
-val checkout : string -> unit
+type svn_flag =
+| Add
+| Conflict
+| Modified
+| NotAdded
+| Delete
+| Update
+| Merge
 
-val html_of_library : string -> string
+type matita_flag =
+| MUnversioned
+| MSynchronized
+| MAdd
+| MModified
+| MConflict
+
+val string_of_matita_flag : matita_flag -> string
+
+val checkout : string -> (string * matita_flag) list
+
+val html_of_library : string -> (string * matita_flag) list ->  string
 
 val reset_lib : unit -> unit
 
 (* val commit : string -> unit *)
 
-val add_user : string -> unit
+val commit : string -> 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 * matita_flag option) list * string list
 
-val do_global_commit : unit -> string list
+val normalize_qfn : string -> string