matitaB/matita/matitaFilesystem.mli

   1 exception SvnError of string;;
   2
   3 type svn_flag =
   4 | Add
   5 | Conflict
   6 | Modified
   7 | NotAdded
   8 | Delete
   9 | Update
  10 | Merge
  11
  12 type matita_flag =
  13 | MUnversioned
  14 | MSynchronized
  15 | MAdd
  16 | MModified
  17 | MConflict
  18
  19 val string_of_matita_flag : matita_flag -> string
  20
  21 val checkout : string -> (string * matita_flag) list
  22
  23 val html_of_library : string -> (string * matita_flag) list ->  string
  24
  25 val reset_lib : unit -> unit
  26
  27 (* val commit : string -> unit *)
  28
  29 val add_user : string -> unit
  30
  31 val do_global_commit : unit -> string list * string
  32
  33 val update_user :
  34   string ->
  35   (string * matita_flag option) list * string list * (int*int*int*int*int)
  36
  37 val stat_user : string -> (string * svn_flag list) list * string list
  38
  39 val normalize_qfn : string -> string