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)
Jump to navigationJump to search
<prev: Extending the Proof Obligation Generator >next: Extending the structured editor ^up: How to extend Rodin Tutorial (Index)


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.

Option 1: Writing the Help Files

Option 2: Generating the Help Files

<prev: Extending the Proof Obligation Generator >next: Extending the structured editor ^up: How to extend Rodin Tutorial (Index)
Retrieved from ‘https://wiki.event-b.org/index.php?title=Providing_help_for_your_plug-in_(How_to_extend_Rodin_Tutorial)&oldid=6643’