added comments, fixed history, added loadList to browser

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 30a8b535536e679fe8e3dda4ad33a9f5503e9afa..62f13367539deb44234e01007a56c025b7720bbb 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -12,6 +12,9 @@ TODO
 - 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
 - tree update in background                              -> Gares