Matitaweb: Save as...

[helm.git] / matitaB / matita / matitaFilesystem.mli

diff --git a/matitaB/matita/matitaFilesystem.mli b/matitaB/matita/matitaFilesystem.mli
index e04500e284e0e7c8840a3b1debb12945db2ad8c6..ed840d230c3a9eea1a3b5334ba0dbe84d730437a 100644 (file)
--- a/matitaB/matita/matitaFilesystem.mli
+++ b/matitaB/matita/matitaFilesystem.mli
@@ -3,3 +3,11 @@ exception SvnError of string;;
 val checkout : string -> unit
 
 val html_of_library : string -> string
+
+val reset_lib : unit -> unit
+
+(* val commit : string -> unit *)
+
+val add_user : string -> unit
+
+val do_global_commit : unit -> string list