- riattaccare hbugs (brrr...) -> Zack
GUI LOGICA
+ - default equality e famiglia non e' undo-aware
- nuovo pretty-printer testuale: non stampa usando la notazione
(e.g. guardare output di matitac)
- matitaclean (e famiglia) non cancellano le directory vuote