From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 28 Dec 2010 22:10:10 +0000 (+0000)
Subject: Bugs and other stuff to do to complete the Matita 1/2 => Matita 1.0 transition.
X-Git-Tag: make_still_working~2611
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5280ec9794de75e63ffc01bddf1756ebcca02be0;p=helm.git

Bugs and other stuff to do to complete the Matita 1/2 => Matita 1.0 transition.
---

diff --git a/matita/matita/DA_FARE b/matita/matita/DA_FARE
new file mode 100644
index 000000000..da382c83d
--- /dev/null
+++ b/matita/matita/DA_FARE
@@ -0,0 +1,21 @@
+MATITA 1.0:
+  matitaMathView*: selezione semantica, hyperlink, etc.
+
+Problemi (MATITA 1.0):
+  matitaEngine: durante la compilazione, che accade allo storage/env? dovrei
+   ripulirlo, immagino
+
+  matitaGui: come faccio in uno stato funzionale a settare le interpretazioni?
+   dovrei farlo su ogni elemento della history, ma sarebbe troppo costoso
+
+  matita.ml: non posso usare l'high level pretty printer perche' non ho nemmeno
+   uno status dove voglio stampare (e sarebbe comunque troppo basso).
+   Non posso implementare l'up-cast con
+   il solito metodo perche' uso oggetti funzionali. E inoltre ho stati
+   multipli per via del MTI. Di contro, la parte dello stato che si occupa
+   di notazione e' praticamente read-only.
+
+matitac: non entra nelle dir
+matita: due file anonimi stessa base uri
+matita: il pulsante close non si ingrigisce quando non ci sono piu' script
+        aperti