2 matitaMathView*: selezione semantica, hyperlink, etc.
5 matitaEngine: durante la compilazione, che accade allo storage/env? dovrei
8 matitaGui: come faccio in uno stato funzionale a settare le interpretazioni?
9 dovrei farlo su ogni elemento della history, ma sarebbe troppo costoso
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.
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
23 A) passare lo status con il metodo di pretty-printing in giro ovunque
24 B) rendere globali le informazioni sull'inclusione :-( (magari iterando sulla
25 lista dei locali) e combinarle con il "non caricare oggetti non ancora
26 inclusi" 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
33 - ogni oggetto ha il suo status con il suo env che e' una vista su quella
35 - c'e' poi l'env attuale globale che e' una cache condivisa del disco;
36 oggetti nella cache del disco sono coppie uri/data;
37 funziona bene se combinato con "carica tutti gli oggetti all'include";
38 funziona bene se combinato con cambio universi e/o assiomi