First attempt at svn commit of developments.

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

diff --git a/matitaB/matita/matitaFilesystem.mli b/matitaB/matita/matitaFilesystem.mli
index 275ebff5b1661771b6a4196d03b77146ffa73305..ed840d230c3a9eea1a3b5334ba0dbe84d730437a 100644 (file)
--- a/matitaB/matita/matitaFilesystem.mli
+++ b/matitaB/matita/matitaFilesystem.mli
@@ -5,3 +5,9 @@ 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