Difference between revisions of "Template:File"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (Template for typesetting a filename (in the tutorial or manual))
 
imported>Mathieu
m (correction)
Line 2: Line 2:
 
==Usage==
 
==Usage==
 
Template use to specify a file name or file path:
 
Template use to specify a file name or file path:
Hit {{file|project.zip}} or {{file|/home/user/workspace}}.
+
dowload {{file|project.zip}} and put it in {{file|/home/user/workspace}}.
 
[[Category:Typesetting template]]
 
[[Category:Typesetting template]]
 
</noinclude>
 
</noinclude>
<small><tt>1</tt></small>
+
<small><tt>{{{1}}}</tt></small>

Revision as of 09:57, 7 July 2008

Usage

Template use to specify a file name or file path: dowload project.zip and put it in /home/user/workspace.

{{{1}}}