xmldiff: xmldiff (tree to tree correction between xml documents)
xmldiff: 
xmldiff: Xmldiff is a utility for extracting differences between two xml files.
xmldiff: It returns a set of primitives to apply on source tree to obtain
xmldiff: the destination tree.
xmldiff: 
xmldiff: 
xmldiff: 
xmldiff: 
xmldiff: 
xmldiff: