exception SvnError of string;;

type svn_flag =
| Add
| Conflict
| Modified
| NotAdded
| Delete
| Update
| Merge

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 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