From e1580b68c82e75351f80d44d6117060f6c5ce66b Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 1 Sep 2005 08:42:02 +0000
Subject: [PATCH] ...

---
 helm/matita/matita.txt | 4 ++++
 1 file changed, 4 insertions(+)

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.
-- 
2.39.2