...

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index cb450fd34692e9829c61f5c43536e2c6f0dc8f3b..9f05b28e0e431d9c4a95369db16e02e0dbe98527 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -69,6 +69,8 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - in MatitaEngine unificare/rimuovere eval_string, eval_from_stream e
+    eval_from_stream_greedy
   - disambiguazione: attualmente io (CSC) ho committato la versione di
     disambiguate.ml che NON ricorda gli alias in caso di disambiguazione
     univoca (senza scelte per l'utente). [ cercare commento "Experimental" ]