From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 26 Jul 2005 10:34:47 +0000 (+0000)
Subject: ...
X-Git-Tag: V_0_7_2~72
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fcc8e5b5588da533ee0ff4318b296ad2a0ec28fd;p=helm.git

...
---

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