Difference between revisions of "Requirements for merging models"
From Event-B
Jump to navigationJump to searchimported>Mathieu m |
imported>Mathieu m (3way tree-based merge tool) |
||
| Line 1: | Line 1: | ||
| − | |||
{{TODO}} | {{TODO}} | ||
| Line 5: | Line 4: | ||
* [http://help.eclipse.org/stable/topic/org.eclipse.platform.doc.isv/samples/org.eclipse.compare.examples.xml/doc-html/ui_xmlcompare_ex.html org.eclipse.compare.example.xml] | * [http://help.eclipse.org/stable/topic/org.eclipse.platform.doc.isv/samples/org.eclipse.compare.examples.xml/doc-html/ui_xmlcompare_ex.html org.eclipse.compare.example.xml] | ||
* [http://www.oxygenxml.com/xml_diff_and_merge.html xml diff GUI example] | * [http://www.oxygenxml.com/xml_diff_and_merge.html xml diff GUI example] | ||
| − | + | * [http://www.antlr.org/wiki/display/ANTLR3/gSync+-+Grammar+Diff+and+Merge+Tool 3way tree-based merge tool] | |
[[Category:Design proposal]] | [[Category:Design proposal]] | ||
