Difference between pages "Template:Topic" and "File:Code Heating ControllerTutorial Completed.pdf"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m (Robot: Changing Category:Typesetting template)
 
 
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