From: Stefano Zacchiroli 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