Template:File
From Event-B
Revision as of 09:56, 7 July 2008 by imported>Mathieu (Template for typesetting a filename (in the tutorial or manual))
Usage
Template use to specify a file name or file path: Hit 1 or 1.
1
Template use to specify a file name or file path: Hit 1 or 1.
1