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