Providing help for your plug-in (How to extend Rodin Tutorial)
From Event-B
Revision as of 09:46, 23 August 2010 by imported>Pascal (→Introduction)
Extending the Extension Point
Each plug-in that contributes help files shall extend the org.eclipse.help.toc extension point and create the TOC files that describe the table of contents for the help and the topic interleaving.