-val checkout : string -> string
+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