From b86c7faf724d119431a1c52b0587802d0defa2cc Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 6 Sep 2005 16:46:03 +0000 Subject: [PATCH] done 1 item --- helm/matita/matita.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2