MatitacleanLib.remove_baseuris will remove empty directories.

[helm.git] / helm / matita / matita.txt

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 11968e849c7a48f5067c08af6b58f1817b7a7b8c..daba1943c8faed6dee601b3ef693a1e704e2dc00 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -91,8 +91,6 @@ TODO
   - default equality e famiglia non e' undo-aware
   - nuovo pretty-printer testuale: non stampa usando la notazione
     (e.g. guardare output di matitac)
-  - matitaclean (e famiglia) non cancellano le directory vuote
-    (e per giunta il cicbrowser le mostra :-)
   - fattorizzare codice fra MatitaEngine e DisambiguatePp (dove, fra l'altro,
     ora io (=CSC) ho messo anche un parser!!!)
   - bug "Warn:  baseuri cic:/matita/higher_order_defs/ordering is not empty"
@@ -108,6 +106,8 @@ TODO
   DEMONI E ALTRO
 
 DONE
+- matitaclean (e famiglia) non cancellano le directory vuote
+  (e per giunta il cicbrowser le mostra :-) -> Gares
 - missing feature unification: applicazione di teoremi (~A) quando il goal
   e' False o di teoremi $symmetric R P$ quando il goal e' $P(x,y)$.
   Fare un passo di delta[-beta?][-iota-etc.] quando da una parte c'e' una