all initialization code is now in the new matitaInit.ml module.

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 13d946afc9ace54727459dcaba5041767a921492..3ec54f51e2ccc0e14f4f5494f0577d44ba52da66 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -100,8 +100,6 @@ TODO
     (e.g. guardare output di matitac)
   - matitaclean (e famiglia) non cancellano le directory vuote
     (e per giunta il cicbrowser le mostra :-)
-  - 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!!!)
   - bug "Warn:  baseuri cic:/matita/higher_order_defs/ordering is not empty"
@@ -117,6 +115,8 @@ TODO
   DEMONI E ALTRO
 
 DONE
+- codice di inizializzazione di matita, matitac, matitatop replicato e non
+  in sync -> Gares
 - tutte gli script che parsano (e.g. matitaclean, matitadep) debbono
   processare la notazione per evitare errori di parsing (visibili ora
   che e' stata committata la contrib list)! -> Gares