Giulio@832: digraph undo_simple {
Giulio@832: 	"prima modifica" -> "seconda modifica";
Giulio@832: 	"seconda modifica" -> "ritira la\nseconda modifica";
Giulio@832: }