]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/DA_FARE
Brainstorming
[helm.git] / matita / matita / DA_FARE
1 MATITA 1.0:
2   matitaMathView*: selezione semantica, hyperlink, etc.
3
4 Problemi (MATITA 1.0):
5   matitaEngine: durante la compilazione, che accade allo storage/env? dovrei
6    ripulirlo, immagino
7
8   matitaGui: come faccio in uno stato funzionale a settare le interpretazioni?
9    dovrei farlo su ogni elemento della history, ma sarebbe troppo costoso
10
11   matita.ml: non posso usare l'high level pretty printer perche' non ho nemmeno
12    uno status dove voglio stampare (e sarebbe comunque troppo basso).
13    Non posso implementare l'up-cast con
14    il solito metodo perche' uso oggetti funzionali. E inoltre ho stati
15    multipli per via del MTI. Di contro, la parte dello stato che si occupa
16    di notazione e' praticamente read-only.
17
18 matitac: non entra nelle dir
19 matita: due file anonimi stessa base uri
20 matita: il pulsante close non si ingrigisce quando non ci sono piu' script
21         aperti
22
23 A) passare lo status con il metodo di pretty-printing in giro ovunque
24 B) rendere globali le informazioni sull'inclusione :-( e combinarle con il
25    "non caricare oggetti non ancora inclusi" (oppure auto-includere in un
26    qualche modo) per poter ri-compilare un file. Dovrebbe risolvere due scenari:
27    1) A -> C, B -> C, C e' caricato, carico oggetti di C, B carica C
28       ricompilandolo e mischio oggetti
29    2) A -> C, edito A, torno in cima ad A, apro C, non mi fa editare C