Template:Topic - Revision history

imported>Fages: /* Example */

2010-04-14T13:14:20Z

Example

← Older revision		Revision as of 13:14, 14 April 2010
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:Export helper templates]]

	== Template ==		== Template ==
	</noinclude><!--		</noinclude><!--
	--><div class="topic" style="display:inline;">[[{{{1}}}\|{{{2}}}]]</div>		--><div class="topic" style="display:inline;">[[{{{1}}}\|{{{2}}}]]</div>

imported>Mathieu: Category:Export helper templates

2008-09-10T20:48:02Z

Category:Export helper templates

← Older revision		Revision as of 20:48, 10 September 2008
Line 12:		Line 12:
	* {{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:~~Typesetting~~ templates]]		[[Category:Export helper templates]]
	== Template ==		== Template ==
	</noinclude><!--		</noinclude><!--
	--><div class="topic" style="display:inline;">[[{{{1}}}\|{{{2}}}]]</div>		--><div class="topic" style="display:inline;">[[{{{1}}}\|{{{2}}}]]</div>

imported>Mathieu: Robot: Changing Category:Typesetting template

2008-09-10T20:30:05Z

Robot: Changing Category:Typesetting template

← Older revision		Revision as of 20:30, 10 September 2008
Line 12:		Line 12:
	* {{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:Typesetting 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>

imported>Mathieu: typo

2008-07-15T16:32:59Z

typo

← Older revision		Revision as of 16:32, 15 July 2008
Line 17:		Line 17:
	== Template ==		== Template ==
	</noinclude><!--		</noinclude><!--
	--><div class="topic" style="display:inline;">[[{{{1}}}\|{{{2}}}]</div>		--><div class="topic" style="display:inline;">[[{{{1}}}\|{{{2}}}]]</div>

imported>Mathieu: Template used to specify a documentation topic. This template is used to ease ''eclipse online help'' generation from this wiki.

2008-07-15T16:32:31Z

Template used to specify a documentation topic. This template is used to ease ''eclipse online help'' generation from this wiki.

New page

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

== Template ==
</noinclude><div class="topic" style="display:inline;">[[{{{1}}}|{{{2}}}]</div>