matitaB/matita/matitaFilesystem.mli

   1 exception SvnError of string;;
   2
   3 val checkout : string -> unit
   4
   5 val html_of_library : string -> string
   6
   7 val reset_lib : unit -> unit
   8
   9 (* val commit : string -> unit *)
  10
  11 val add_user : string -> unit
  12
  13 val do_global_commit : unit -> string list