Added matitaweb administration panel.

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

diff --git a/matitaB/matita/matitaFilesystem.mli b/matitaB/matita/matitaFilesystem.mli
index e04500e284e0e7c8840a3b1debb12945db2ad8c6..275ebff5b1661771b6a4196d03b77146ffa73305 100644 (file)
--- a/matitaB/matita/matitaFilesystem.mli
+++ b/matitaB/matita/matitaFilesystem.mli
@@ -3,3 +3,5 @@ exception SvnError of string;;
 val checkout : string -> unit
 
 val html_of_library : string -> string
+
+val reset_lib : unit -> unit