...

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 349bc35c587b6083b509255d7503b60ff9f94f50..376061ff6bb9ea7535c9a8b208c7b0b953f379be 100644 (file)
--- 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