From fcc8e5b5588da533ee0ff4318b296ad2a0ec28fd Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 26 Jul 2005 10:34:47 +0000
Subject: [PATCH] ...

---
 helm/matita/matita.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 735f2716c..cddf73684 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -66,7 +66,6 @@ TODO
 
   - bug di refresh del widget quando si avanza ("swap" tra la finestra dei
     sequenti e la finestra dello script)
-  - sensitiveness per goto begin/end/etc. (???)
   - che farne della palette delle tattiche?
   - script outline -> Zack
   - riattaccare hbugs (brrr...) -> Zack
@@ -78,6 +77,7 @@ TODO
   - non chiudere transitivamente i moo ?? 
 
 DONE
+- sensitiveness per goto begin/end/etc. (???) -> Gares
 - cut&paste stile "X": rimane la parte blu e lockata! -> CSC
 - highlight degli errori di parsing nello script -> CSC
 - quando si fa una locate nel cicbrowser viene mangiato un pezzo di testo
-- 
2.39.2