...

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 56b1ef4cadb9577cae71dc24fab4a1ea068c5651..3d3fb2702bf73af58dd27e714f6bda0c3b5ccd53 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -75,6 +75,8 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - codice di inizializzazione di matita, matitac, matitatop replicato e non
+    in sync
   - fattorizzare codice fra MatitaEngine e DisambiguatePp (dove, fra l'altro,
     ora io (=CSC) ho messo anche un parser!!!)
   - integrare nuova contrib ferruccio nel bench notturno; guardare bug