X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.txt;h=05c28af47aaf62196e88b952518b9b0cbe6952db;hb=00583d5c57f2d242b5e7d0babbb909296705fb1f;hp=62f13367539deb44234e01007a56c025b7720bbb;hpb=de4483296d06aac3df4da10d5401b1f97c4350ab;p=helm.git

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 62f133675..05c28af47 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -9,14 +9,15 @@ TODO
 - menu contestuale (tasto dx) nel sequent viewer	  ->
 - controllo per script modificato o meno prima di uscire  ->
 - riattaccare hbugs (brrr...)				  -> Zack
-- spostare il codice di creazione delle tabelle da
-  MatitaDb, al momento quelle create da matita possono
-  andare out of sync con quelle create dai file .sql
-- commenti exeguibili (forse devono essere una lista e non 
-  un singolo executable e forse devono contenere anche Note 
-  e non solo Executable
 
 DONE
+- history deve aggiornare anche la whelp bar              -> Gares
+- commenti exeguibili (forse devono essere una lista e non 
+  un singolo executable e forse devono contenere anche Note 
+  e non solo Executable)                                  -> Gares
+- spostare il codice di creazione delle tabelle da
+  MatitaDb, al momento quelle create da matita possono
+  andare out of sync con quelle create dai file .sql      -> Gares
 - tree update in background				  -> Gares
 - update del getter in background			  -> Zack
 - agganciare href_callback del sequent_viewer		  -> Zack