X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.txt;h=535b3f475a3e2b98a43d6c92147380734cbb9098;hb=51c38fc7079c06414f325ca3d89192c680a834ab;hp=daba1943c8faed6dee601b3ef693a1e704e2dc00;hpb=d7c24dbca4f5e2baef606669db70cc640c02d38d;p=helm.git

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index daba1943c..535b3f475 100644
--- 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