...

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 4ae28513221510a0255ec8da5cfb76ce2a85516b..4a82fd150044daa517f3b2bee38c4dabd5fa36bb 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -72,6 +72,8 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - 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"
     mentre si compila Z/times.ma. Il bug sembra essere transiente.
   - in MatitaEngine unificare/rimuovere eval_string, eval_from_stream e