I have implemented the algorithm by Zhang and Shasha to calculate the minimal edit distance between two trees. Everything is working fine and I am very pleased with the current running times.
Now I would also like to generate a diff that highlights the changed / deleted / inserted nodes. According to their paper, it is very natural to ask for the mapping that yielded the computed distance and according to the last slides of this presentation it seems that the mapping can be easily extracted from the last forest distance table and the tree distance table. Unfortunately I haven't been able to figure out the exact rules yet.
Any additional description would be highly appreciated. Many thanks!