- riattaccare hbugs (brrr...) -> Zack
GUI LOGICA
+ - tutte gli script che parsano (e.g. matitaclean, matitadep) debbono
+ processare la notazione per evitare errori di parsing (visibili ora
+ che e' stata committata la contrib list)!
- la funzione alias_diff e' lentissima (anche se CSC l'ha accellerata di
un fattore 3x) e puo' essere evitata: chi vuole aggiungere alias (la
disambiguazione, il comando "alias" e l'add_obj) deve indicare