X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMisc.mli;h=1f72dbddd4332da4bbea16534333e22985501ea3;hb=0bf96cb668cdd8d14b1c66f8a5241f12c5df9e3a;hp=bf51c64e9c8d0d795f3ace322c57d6e19ac7aa35;hpb=b2f2e47efe1e01df81cb7659c30eeb76f1f830da;p=helm.git

diff --git a/helm/matita/matitaMisc.mli b/helm/matita/matitaMisc.mli
index bf51c64e9..1f72dbddd 100644
--- a/helm/matita/matitaMisc.mli
+++ b/helm/matita/matitaMisc.mli
@@ -33,6 +33,12 @@ val is_empty: string -> bool
 
 (** removes a file if it exists *)
 val safe_remove: string -> unit
+(** removes a dir if it exists and is empty *)
+val safe_rmdir: string -> unit 
+(** checks if the dir is empty *)
+val is_dir_empty: string -> bool
+(** removes a directory and recursively the father (if empty) *)
+val rmdir_descend: string -> unit
 
 val absolute_path: string -> string 
 
@@ -50,8 +56,6 @@ val strip_trailing_slash: string -> string
 val normalize_dir: string -> string (** add trailing "/" if missing *)
 val strip_suffix: suffix:string -> string -> string
 
-val list_uniq: 'a list -> 'a list (* uniq unix filter on lists *)
-
   (** @return tl tail of a list starting at a given element
    * @param eq equality to be used, defaults to physical equality (==)
    * @raise Not_found *)