manual.xml 589 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
<include file="manual/types_patterns.xml"/>
9
<include file="manual/expressions.xml"/>
10
<include file="manual/namespaces.xml"/>
11
12
13
14
15
16
17
18
<left>
<p>
This Guide describes every construction of CDuce.
</p>
<pages-toc/>
<p>See also:</p>
<local-links href="index,tutorial,memento,papers"/>
</left>
19

20
21
22
<box title="Table of Contents" link="toc">
<p><b>This manual is under construction !</b></p>
<p>Sections:</p>
23
<pages-toc sections=""/>
24
25
26
27
</box>

</page>