From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 29 Aug 2005 11:20:40 +0000 (+0000)
Subject: ...
X-Git-Tag: working_equations_only~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8b77d2bf53017823f11a2a2427b0ca191c5daa37;p=helm.git

...
---

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 7fa0e72d0..5ccfb2b95 100644
--- 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"