From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 7 Feb 2005 15:24:07 +0000 (+0000)
Subject: added TODO file
X-Git-Tag: V_0_1_0~4
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9b4ff5ed16b07ef70cfba1ba28b9b748776bb48a;p=helm.git

added TODO file
---

diff --git a/helm/matita/TODO b/helm/matita/TODO
new file mode 100644
index 000000000..f64358119
--- /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