From fd9608bcb8fa8b35ecd289158d72b3f5a618ac2c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 11 Jan 2011 22:03:04 +0000 Subject: [PATCH] ... --- matita/matita/DA_FARE | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/matita/matita/DA_FARE b/matita/matita/DA_FARE index 12cfa18f4..6e882cd00 100644 --- a/matita/matita/DA_FARE +++ b/matita/matita/DA_FARE @@ -9,13 +9,6 @@ Problemi (MATITA 1.0): 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 @@ -29,6 +22,7 @@ B) rendere globali le informazioni sull'inclusione :-( (magari iterando sulla ricompilandolo e mischio oggetti 2) A -> C, edito A, torno in cima ad A, apro C, non mi fa editare C +Bug: si chiude un tab ma resta il suo status :-) specie se e' l'ultimo tab Idea (Enrico): - ogni oggetto ha il suo status con il suo env che e' una vista su quella -- 2.39.5