Giulio@832: digraph undo_manual {
Giulio@832: 	"prima modifica" -> "seconda modifica";
Giulio@832: 	"seconda modifica" -> "terza modifica";
Giulio@832: 	backout [label="ritira la\nseconda modifica", shape=box];
Giulio@832: 	"seconda modifica" -> backout;
Giulio@832: 	"terza modifica" -> "unione\nmanuale";
Giulio@832: 	backout -> "unione\nmanuale";
Giulio@832: }