Added sql/drop_mowgli_tables.mysql.sql

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 30a8b535536e679fe8e3dda4ad33a9f5503e9afa..05c28af47aaf62196e88b952518b9b0cbe6952db 100644 (file)
--- 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