Extension Points and Extensions
From Event-B
Jump to navigationJump to searchThis tutorial describes the definition and usage of the Eclipse extension point mechanism.
This tutorial describes the definition and usage of the Eclipse extension point mechanism.