Difference between pages "Prover Diagrams" and "Providing help for your plug-in (How to extend Rodin Tutorial)"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Andy |
imported>Pascal m (→Creation) |
||
| 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)]]}} | |
| − | + | === Introduction === | |
| − | < | + | === Extending the Extension Point === |
| − | + | Each plug-in that contributes help files shall extend the <tt>org.eclipse.help.toc</tt> 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 === | ||
| + | |||
| + | |||
| + | |||
| + | {{Navigation|Previous= [['''FIXME'''|Extending the Proof Obligation Generator]]|Next= [['''FIXME'''|Extending the structured editor]] | Up= [[Plug-in_Tutorial|How to extend Rodin Tutorial (Index)]]}} | ||
| + | |||
| + | [[Category:Developer documentation|*Index]] | ||
| + | [[Category:Rodin Platform|*Index]] | ||
| + | [[Category:Tutorial|*Index]] | ||
Revision as of 09:06, 23 August 2010
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.
