fixed some macros, added test_abort.ma

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

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