Difference between revisions of "Extension Points and Extensions"
From Event-B
Jump to navigationJump to searchimported>Pascal |
(No difference)
|
Latest revision as of 09:50, 7 May 2010
This tutorial describes the definition and usage of the Eclipse extension point mechanism.