Extension Points and Extensions

From Event-B
Revision as of 09:50, 7 May 2010 by imported>Pascal (→‎Creation)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

This tutorial describes the definition and usage of the Eclipse extension point mechanism.