...

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 5c84bb53970ee428a1b9caa89ca28183bb6ec995..406ecc63a858b532affa01cf225e7e544430574f 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -70,6 +70,8 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - 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
     eval_from_stream_greedy
   - disambiguazione: attualmente io (CSC) ho committato la versione di