done 1 item

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index df4ac166d17682dd074cb058b785e6e434b809da..0c75b9f1d48aacac55f5ce3228da699ff40eb254 100644 (file)
--- 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