- riattaccare hbugs (brrr...) -> Zack
GUI LOGICA
+ - matitac deve fallire quando matita vuole aggiungere un alias!
- default equality e famiglia non e' undo-aware
- nuovo pretty-printer testuale: non stampa usando la notazione
(e.g. guardare output di matitac)
matitamake /x/y/z/foo/a.ma
- notazione -> Luca e Zack
- non chiudere transitivamente i moo ??
+ - matitaclean all (non troglie i moo?)
DEMONI E ALTRO