Providing help for your plug-in (How to extend Rodin Tutorial)
From Event-B
Revision as of 09:06, 23 August 2010 by imported>Pascal (→Creation)
Contents
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.