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   matita.ml: non posso usare l'high level pretty printer perche' non ho nemmeno
  13    uno status dove voglio stampare (e sarebbe comunque troppo basso).
  14    Non posso implementare l'up-cast con
  15    il solito metodo perche' uso oggetti funzionali. E inoltre ho stati
  16    multipli per via del MTI. Di contro, la parte dello stato che si occupa
  17    di notazione e' praticamente read-only.
  18
  19 matitac: non entra nelle dir
  20 matita: due file anonimi stessa base uri
  21 matita: il pulsante close non si ingrigisce quando non ci sono piu' script
  22         aperti
  23
  24 A) passare lo status con il metodo di pretty-printing in giro ovunque
  25 B) rendere globali le informazioni sull'inclusione :-( (magari iterando sulla
  26    lista dei locali) e combinarle con il "non caricare oggetti non ancora
  27    inclusi" per poter ri-compilare un file. Dovrebbe risolvere due scenari:
  28    1) A -> C, B -> C, C e' caricato, carico oggetti di C, B carica C
  29       ricompilandolo e mischio oggetti
  30    2) A -> C, edito A, torno in cima ad A, apro C, non mi fa editare C
  31
  32
  33 Idea (Enrico):
  34  - ogni oggetto ha il suo status con il suo env che e' una vista su quella
  35    globale
  36  - c'e' poi l'env attuale globale che e' una cache condivisa del disco;
  37    oggetti nella cache del disco sono coppie uri/data;
  38    funziona bene se combinato con "carica tutti gli oggetti all'include";
  39    funziona bene se combinato con cambio universi e/o assiomi