...

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 253b18d02fa645f984a1ec6c3b8cb4e6a2cd3599..900351d7ca212c0ff1d2974cd4cabfc1b368c1df 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -84,6 +84,7 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - 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