From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 6 Sep 2005 16:46:03 +0000 (+0000)
Subject: done 1 item
X-Git-Tag: V_0_1_2_1~72
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b86c7faf724d119431a1c52b0587802d0defa2cc;p=helm.git

done 1 item
---

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index df4ac166d..0c75b9f1d 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -62,8 +62,6 @@ TODO
 
 
   GUI GRAFICA
-  - Usare il cicbrowser per fare "Whelp instance": lui riscrive la barra
-    con la notazione alla Coq V7.0 che non riesce piu' a riparsare!
   - keybinding globali: CTRL-{su,giu,...} devono fungere anche quando altre
     finestre hanno il focus (e.g. cicBrowser). C'e' gia' da qualche parte il
     codice che aggiunge i keybinding a tutte le eventBox, e' da ripristinare
@@ -128,6 +126,8 @@ TODO
   DEMONI E ALTRO
 
 DONE
+- Usare il cicbrowser per fare "Whelp instance": lui riscrive la barra
+  con la notazione alla Coq V7.0 che non riesce piu' a riparsare! -> Zack
 - implementare inclusione file di configurazione (perche' ora tutti
   i demoni scopiazzano venti righe per via del getter embedded :-( -> Zack
 - simplify non debbono zeta-espandere i let-in -> CSC, Gares