From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 1 Sep 2005 11:35:22 +0000 (+0000)
Subject: ...
X-Git-Tag: V_0_1_2_1~127
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=818f2a22c226eb64f2878792a6bd6c766911600f;p=helm.git

...
---

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 349bc35c5..376061ff6 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -79,14 +79,6 @@ TODO
   GUI LOGICA
   - fattorizzare codice fra MatitaEngine e DisambiguatePp (dove, fra l'altro,
     ora io (=CSC) ho messo anche un parser!!!)
-  - verificare se tutte le query sono ora ottimizzate (usando il comando
-    explain) e usano gli indici in maniera ottimale; inoltre migliorare gli
-    indici sulle tabelle hits and count
-  - ???????????? Perche'?
-    mowgli:~# du -s /var/lib/mysql/mowgli/
-    250696  /var/lib/mysql/mowgli/
-    mowgli:~# du -s /var/lib/mysql/matita/
-    455096  /var/lib/mysql/matita/
   - integrare nuova contrib ferruccio nel bench notturno; guardare bug
     generazione principi di eliminazione
   - bug "Warn:  baseuri cic:/matita/higher_order_defs/ordering is not empty"
@@ -120,6 +112,14 @@ TODO
     i demoni scopiazzano venti righe per via del getter embedded :-(
 
 DONE
+- verificare se tutte le query sono ora ottimizzate (usando il comando
+  explain) e usano gli indici in maniera ottimale; inoltre migliorare gli
+  indici sulle tabelle hits and count -> CSC
+- ???????????? Perche'?
+  mowgli:~# du -s /var/lib/mysql/mowgli/
+  250696  /var/lib/mysql/mowgli/
+  mowgli:~# du -s /var/lib/mysql/matita/
+  455096  /var/lib/mysql/matita/ -> CSC
 - 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. -> CSC