From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu |
|
Line 1: |
Line 1: |
− | <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>
| |
Latest revision as of 20:49, 30 April 2020