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 (file)
index 0000000..da382c8
--- /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