Template:Topic
From Event-B
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
- [[Project_(Rodin_User_Manual)|1 Project]
- [[Anatomy_of_a_Context_(Rodin_User_Manual)|2 Anatomy of a Context]
- [[Anatomy_of_a_Machine_(Rodin_User_Manual)|3 Anatomy of a Machine]
- [[Saving_a_Context_or_a_Machine_(Rodin_User_Manual)|4 Saving a Context or a Machine]
- [[The_Proof_Obligation_Explorer_(Rodin_User_Manual)|5 The Proof Obligation Explorer]
- [[The_Proving_Perspective_(Rodin_User_Manual)|6 The Proving Perspective]
- [[The_Mathematical_Language_(Rodin_User_Manual)|A The Mathematical Language]
- [[ASCII_Representations_of_the_Mathematical_Symbols_(Rodin_User_Manual)|B ASCII Representations of the Mathematical Symbols]
Template
[[{{{1}}}|{{{2}}}]
