...

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 05ba96189693abd468877a9f060d81b251517ece..90e8303dde809993810e98aeb33ac14916802175 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -2,6 +2,8 @@
 (**********************************************************************)
 
 TODO
+- fare "matita foo" (dove foo non esiste), cambiare qualcosa e uscire senza
+  salvare. In verita' foo e' stato scritto lo stesso!
 - matitaclean all dovrebbe radere al suolo la directory .matita
 - tornare indietro in matita dovrebbe essere O(1) e non un Undo passo passo
 - invertibilita' dell'inserimento automatico di alias: quando si torna