From 5280ec9794de75e63ffc01bddf1756ebcca02be0 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 28 Dec 2010 22:10:10 +0000 Subject: [PATCH] Bugs and other stuff to do to complete the Matita 1/2 => Matita 1.0 transition. --- matita/matita/DA_FARE | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 matita/matita/DA_FARE 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 -- 2.39.2