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

4
<title>Tutorial</title>
5

6

7
<include file="tutorial/getting_started.xml"/>
8
9
<include file="tutorial/first_functions.xml"/>
<include file="tutorial/overloading.xml"/>
10
<include file="tutorial/patterns.xml"/>
11
<include file="tutorial/errors.xml"/>
12
<left>
13
<p>
14
This tutorial is a step-by-step introduction to CDuce.
15
</p>
16
<pages-toc/>
17
18
<p>See also:</p>
<local-links href="index,memento,manual,papers"/>
19
</left>
20

21

22
<box title="Tutorial Index" link="tut">
23
<p><b>This tutorial is under construction!</b></p>
24
<p>Sections:</p>
25
<pages-toc sections=""/>
26
27
28
</box>

</page>
29
30