Uppaal port in SAVE-IDE

Some intruduction

Section Heading

Use a unique name for each label in your subproject, for example '\section uppaalport_labelname Title'.

Subsection Heading 1

Some text...

Subsection Heading 2

Some text...

The Second Section Heading

As shown in this line, at this point -> Section Heading you can make references by using the \ref command.

Use the command \section and \subsection in your manual to make the layout of your manual. Do not use \mainpage or \page command.

You can put images into the manual with the \image command.

SourceForge.net Logo