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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 30a8b5355..05c28af47 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -9,11 +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
 
 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