manual.xml 443 Bytes
Newer Older
1 2 3
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="manual">

4
<title>User's manual</title>
5 6


7
<include file="manual/interpreter.xml"/>
8 9
<include file="tutorial.xml"/>
<include file="memento.xml"/>
10
<include file="manual/types_patterns.xml"/>
11
<include file="manual/expressions.xml"/>
12

13

14 15 16 17 18 19 20 21
<box title="Table of Contents" link="toc">
<p><b>This manual is under construction !</b></p>
<p>Sections:</p>
<pages-toc/>
</box>

</page>