Giulio@832: digraph undo_non_tip {
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: 	merge [label="unione\nautomatica", shape=box];
Giulio@832: 	"terza modifica" -> merge;
Giulio@832: 	backout -> merge;
Giulio@832: }