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 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 normalize_qfn : string -> string