Difference between revisions of "Providing help for your plug-in (How to extend Rodin Tutorial)"

From Event-B
Jump to navigationJump to search
imported>Pascal
 
imported>Pascal
Line 1: Line 1:
 
{{Navigation|Previous= [['''FIXME'''|Extending the Proof Obligation Generator]]|Next=[['''FIXME'''|Extending the structured editor]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}}
 
{{Navigation|Previous= [['''FIXME'''|Extending the Proof Obligation Generator]]|Next=[['''FIXME'''|Extending the structured editor]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}}
  
=== Introduction ===
+
 
  
 
=== Extending the Extension Point ===
 
=== Extending the Extension Point ===

Revision as of 09:46, 23 August 2010


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