]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/DA_FARE
minor additions to standard library
[helm.git] / matita / matita / DA_FARE
1 MATITA 1.0:
2   matitaMathView*: selezione semantica, hyperlink, etc.
3   coercion declaration has no "nocomposites" option, and no compact syntax.
4
5 Problemi (MATITA 1.0):
6   matitaEngine: durante la compilazione, che accade allo storage/env? dovrei
7    ripulirlo, immagino
8
9   matitaGui: come faccio in uno stato funzionale a settare le interpretazioni?
10    dovrei farlo su ogni elemento della history, ma sarebbe troppo costoso
11
12 matitac: non entra nelle dir
13 matita: due file anonimi stessa base uri
14 matita: il pulsante close non si ingrigisce quando non ci sono piu' script
15         aperti
16
17 A) passare lo status con il metodo di pretty-printing in giro ovunque
18 B) rendere globali le informazioni sull'inclusione :-( (magari iterando sulla
19    lista dei locali) e combinarle con il "non caricare oggetti non ancora
20    inclusi" per poter ri-compilare un file. Dovrebbe risolvere due scenari:
21    1) A -> C, B -> C, C e' caricato, carico oggetti di C, B carica C
22       ricompilandolo e mischio oggetti
23    2) A -> C, edito A, torno in cima ad A, apro C, non mi fa editare C
24
25 Bug: si chiude un tab ma resta il suo status :-) specie se e' l'ultimo tab
26
27 Idea (Enrico):
28  - ogni oggetto ha il suo status con il suo env che e' una vista su quella
29    globale
30  - c'e' poi l'env attuale globale che e' una cache condivisa del disco;
31    oggetti nella cache del disco sono coppie uri/data;
32    funziona bene se combinato con "carica tutti gli oggetti all'include";
33    funziona bene se combinato con cambio universi e/o assiomi