...

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 240fecb6d04bceb3ef86aa933c64a930df70ea5f..c968c9de9760276d51e31a0ca7a5d783488fa6a5 100644 (file)
--- 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.