From 9b4ff5ed16b07ef70cfba1ba28b9b748776bb48a Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 7 Feb 2005 15:24:07 +0000
Subject: [PATCH] added TODO file

---
 helm/matita/TODO | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 helm/matita/TODO

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
-- 
2.39.2