./matitaclean all removes all

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index daba1943c8faed6dee601b3ef693a1e704e2dc00..535b3f475a3e2b98a43d6c92147380734cbb9098 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -101,11 +101,11 @@ TODO
     matitamake /x/y/z/foo/a.ma
   - notazione -> Luca e Zack
   - non chiudere transitivamente i moo ?? 
-  - matitaclean all (non troglie i moo?)
 
   DEMONI E ALTRO
 
 DONE
+- matitaclean all (non troglie i moo?) -> Gares
 - 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