From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 1 Sep 2005 08:42:02 +0000 (+0000)
Subject: ...
X-Git-Tag: working_equations_only~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e1580b68c82e75351f80d44d6117060f6c5ce66b;p=helm.git

...
---

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 240fecb6d..c968c9de9 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -114,6 +114,10 @@ TODO
   - notazione -> Luca e Zack
   - non chiudere transitivamente i moo ?? 
 
+  DEMONI E ALTRO
+  - implementare inclusione file di configurazione (perche' ora tutti
+    i demoni scopiazzano venti righe per via del getter embedded :-(
+
 DONE
 - 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.