Template:Topic: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu |
imported>Fages |
||
| Line 8: | Line 8: | ||
* {{topic|Anatomy_of_a_Machine_(Rodin_User_Manual)|3 Anatomy of a Machine}} | * {{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|Saving_a_Context_or_a_Machine_(Rodin_User_Manual)|4 Saving a Context or a Machine}} | ||
* {{topic| | * {{topic|The_Event-B_Explorer_(Rodin_User_Manual)|5 The Event-B Explorer}} | ||
* {{topic|The_Proving_Perspective_(Rodin_User_Manual)|6 The Proving Perspective}} | * {{topic|The_Proving_Perspective_(Rodin_User_Manual)|6 The Proving Perspective}} | ||
* {{topic|The_Mathematical_Language_(Rodin_User_Manual)|A The Mathematical Language}} | * {{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}} | * {{topic|ASCII_Representations_of_the_Mathematical_Symbols_(Rodin_User_Manual)|B ASCII Representations of the Mathematical Symbols}} | ||
[[Category:Export helper templates]] | [[Category:Export helper templates]] | ||
== Template == | == Template == | ||
</noinclude><!-- | </noinclude><!-- | ||
--><div class="topic" style="display:inline;">[[{{{1}}}|{{{2}}}]]</div> | --><div class="topic" style="display:inline;">[[{{{1}}}|{{{2}}}]]</div> | ||
Latest revision as of 13:14, 14 April 2010
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}}}]]
