...

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 735f2716c89b0319a9450616669721a206d0e4ed..cddf73684d0f6dd3bc7db318fca95afa6d745404 100644 (file)
--- 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