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

<title>CDuce user's manual</title>


<include file="manual/types_patterns.xml"/>
8
<include file="manual/expressions.xml"/>
9 10 11 12 13 14 15 16 17

<box title="Table of Contents" link="toc">
<p><b>This manual is under construction !</b></p>
<p>Sections:</p>
<pages-toc/>
</box>

</page>