Matitaweb:

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

diff --git a/matitaB/matita/matitaFilesystem.mli b/matitaB/matita/matitaFilesystem.mli
index ed840d230c3a9eea1a3b5334ba0dbe84d730437a..f1906b1e8bb40a938d081a04ac94dcd19619a0f2 100644 (file)
--- a/matitaB/matita/matitaFilesystem.mli
+++ b/matitaB/matita/matitaFilesystem.mli
@@ -1,8 +1,26 @@
 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
 
@@ -11,3 +29,7 @@ val reset_lib : unit -> unit
 val add_user : string -> unit
 
 val do_global_commit : unit -> string list
+
+val update_user : string -> (string * svn_flag list) list * string list
+
+val stat_user : string -> (string * svn_flag list) list * string list