Template:Topic

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}}}]