Difference between revisions of "Template:Topic"

From Event-B
Jump to navigationJump to search
imported>Mathieu
(Template used to specify a documentation topic. This template is used to ease ''eclipse online help'' generation from this wiki.)
 
imported>Fages
 
(3 intermediate revisions by one other user not shown)
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|The_Proof_Obligation_Explorer_(Rodin_User_Manual)|5 The Proof Obligation Explorer}}
+
* {{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:Typesetting template]]
 
  
 
== 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}}}]]