From f753c0b495eb2db697f22f95d0f474ba76ae14cb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 11 Jul 2005 14:32:06 +0000 Subject: [PATCH] ... --- helm/matita/matita.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index 05ba96189..90e8303dd 100644 --- 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 -- 2.39.2