- riattaccare hbugs (brrr...) -> Zack
GUI LOGICA
+ - nuovo pretty-printer testuale: non stampa usando la notazione
+ (e.g. guardare output di matitac)
- matitaclean (e famiglia) non cancellano le directory vuote
(e per giunta il cicbrowser le mostra :-)
- codice di inizializzazione di matita, matitac, matitatop replicato e non