...

[helm.git] / helm / matita / matita.txt

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 7fa0e72d01f8436e4d1341d1b0176a9f50eb8162..5ccfb2b953a18022268fa8eb991390bed0cd22e6 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -73,6 +73,11 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - ???????????? 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"