.TH SAL2XML 1 "Nov 23 2001" "Version 1.0"
.de BP
.sp
.ti -.2i
..
.SH NAME
sal2xml v1.0 \- `A SAL Parser'

.SH SYNOPSIS
.B sal2xml
[ options ] sal-file-name

.SH DESCRIPTION
.B SAL2XML
is a parser for the SAL specification language. It converts
`.sal' files in `.xml' files. 

.SH OPTIONS
.TP 16
-o <xml-file>
Place the xml output in file <xml-file>. If you do not specify `-o',
the default is to send the output to the standard output.

.SH EXAMPLES
.IP 
\fCsal2xml simplemutex.sal\fP
.LP
Prints the XML representation of the given file.

.IP 
\fCsal2xml -o simplemutex.xml simplemutex.sal\fP
.LP
Creates the file `simplemutex.xml' which contains the XML representation
of the file `simplemutex.sal'.

.SH COPYRIGHT
(C) 2001, SRI International


