A parser for aliases implemented (required by the Whelp).

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index a8f18ea3210a69353682104ea40a313f30bf2849..412879c9c5f88b4457289a83e531b8dd5c7a9f1d 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -70,6 +70,8 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - fattorizzare codice fra MatitaEngine e DisambiguatePp (dove, fra l'altro,
+    ora io (=CSC) ho messo anche un parser!!!)
   - verificare se tutte le query sono ora ottimizzate (usando il comando
     explain) e usano gli indici in maniera ottimale; inoltre migliorare gli
     indici sulle tabelle hits and count