added TODO file

diff --git a/helm/matita/TODO b/helm/matita/TODO
new file mode 100644 (file)
index 0000000..f643581
--- /dev/null
+++ b/helm/matita/TODO
@@ -0,0 +1,13 @@
+- ricerca
+  - sintassi concreta (da controllare)
+  - hint
+- script handling
+- alias
+  - sintassi concreta
+  - generazione di alias dalla disambiguazione allo script
+- console
+  - input (invio + punto)
+  - cut and paste
+  - scrolling
+- menu contestuali / contesti per tattiche che richiedono argomenti
+- linguaggio per la notazione