Difference between pages "Template:Main Page/Community" and "Template:Topic"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>WikiSysop |
imported>Mathieu m (Robot: Changing Category:Typesetting template) |
||
| Line 1: | Line 1: | ||
<noinclude> | <noinclude> | ||
| − | == | + | Template used to specify a documentation topic. This template is used to ease ''eclipse online help'' generation from this wiki. |
| − | < | + | == Usage == |
| − | </ | + | <nowiki>{{topic|page for the topic|text to display}}</nowiki> |
| − | + | == Example == | |
| − | + | * {{topic|Project_(Rodin_User_Manual)|1 Project}} | |
| − | + | * {{topic|Anatomy_of_a_Context_(Rodin_User_Manual)|2 Anatomy of a Context}} | |
| − | + | * {{topic|Anatomy_of_a_Machine_(Rodin_User_Manual)|3 Anatomy of a Machine}} | |
| − | + | * {{topic|Saving_a_Context_or_a_Machine_(Rodin_User_Manual)|4 Saving a Context or a Machine}} | |
| − | + | * {{topic|The_Proof_Obligation_Explorer_(Rodin_User_Manual)|5 The Proof Obligation Explorer}} | |
| − | + | * {{topic|The_Proving_Perspective_(Rodin_User_Manual)|6 The Proving Perspective}} | |
| − | + | * {{topic|The_Mathematical_Language_(Rodin_User_Manual)|A The Mathematical Language}} | |
| − | + | * {{topic|ASCII_Representations_of_the_Mathematical_Symbols_(Rodin_User_Manual)|B ASCII Representations of the Mathematical Symbols}} | |
| − | + | [[Category:Typesetting templates]] | |
| − | + | == Template == | |
| − | + | </noinclude><!-- | |
| − | + | --><div class="topic" style="display:inline;">[[{{{1}}}|{{{2}}}]]</div> | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | [[ | ||
| − | |||
| − | |||
| − | <noinclude> | ||
| − | < | ||
| − | [[ | ||
| − | </ | ||
Revision as of 20:30, 10 September 2008
Template used to specify a documentation topic. This template is used to ease eclipse online help generation from this wiki.
Usage
{{topic|page for the topic|text to display}}
Example
Template
[[{{{1}}}|{{{2}}}]]
