1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
3
<!--Converted with LaTeX2HTML 2002-2-1 (1.71)
4
original version by: Nikos Drakos, CBLU, University of Leeds
5
* revised and updated by: Marcus Hennecke, Ross Moore, Herb Swan
6
* with significant contributions from:
7
Jens Lippmann, Marek Rouchal, Martin Wilck and others -->
10
<TITLE>Options</TITLE>
11
<META NAME="description" CONTENT="Options">
12
<META NAME="keywords" CONTENT="applications">
13
<META NAME="resource-type" CONTENT="document">
14
<META NAME="distribution" CONTENT="global">
16
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-15">
17
<META NAME="Generator" CONTENT="LaTeX2HTML v2002-2-1">
18
<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
20
<LINK REL="STYLESHEET" HREF="applications.css">
26
<H2><A NAME="SECTION00012000000000000000">
31
<TABLE CELLPADDING=3 BORDER="1">
32
<TR><TD ALIGN="LEFT" VALIGN="TOP" WIDTH=142>Variable</TD>
33
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=283>Variable name</TD>
35
<TR><TD ALIGN="LEFT" VALIGN="TOP" WIDTH=142>Default value</TD>
36
<TD ALIGN="LEFT" VALIGN="TOP" WIDTH=283>Default value associated to the variable</TD>
44
Use the <SPAN CLASS="textit">Add option</SPAN> button to add a new variable and the <SPAN CLASS="textit">Remove</SPAN>
45
button to delete a variable.