From cb4a11395522ff7428e34e3c7a5d4f48cd864070 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 24 Aug 2005 10:45:51 +0000 Subject: [PATCH] ... --- helm/matita/matita.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index c440e9678..4ae285132 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -48,6 +48,7 @@ TODO GUI GRAFICA - library/nat/primes.ma: ex_prime ci mette un secolo il db (binding) a fare la Mysql.exec che ritorna una lista vuota di risultati. Investigare. + Anche peggio in library/nat/minimization/f_max_true. - 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 -- 2.39.2