viewcvs.cgi/web/examples.xml

<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page>

<title>CDuce: code examples</title>
<banner>CDuce: code examples</banner>

<!-- ********* Left panel ********* -->
<navig>
<toc/>
<box>
<p>
This page presents some simple CDuce programs.
</p>

<ul>
<li><a href="/cgi-bin/cduce">Online demo</a></li>
<li><a href="/">Home page</a></li>
<li><a href="memento.html">Syntax memento</a></li>
</ul>
</box>
</navig>

<!-- ********* Main panel ********* -->

<main>

<box title="Our canonical example" link="sort">
<include-verbatim file="overloading.cd"/>
</box>

<box title="The script than generates this site" link="site">
<include-verbatim file="site.cd"/>
</box>

</main>
</page>

1	<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
2	<page>
3
4	<title>CDuce: code examples</title>
5	<banner>CDuce: code examples</banner>
6
7	<!-- ******* Left panel ******* -->
8	<navig>
9	<toc/>
10	<box>
11	<p>
12	This page presents some simple CDuce programs.
13	</p>
14
15	<ul>
16	<li><a href="/cgi-bin/cduce">Online demo</a></li>
17	<li><a href="/">Home page</a></li>
18	<li><a href="memento.html">Syntax memento</a></li>
19	</ul>
20	</box>
21	</navig>
22
23	<!-- ******* Main panel ******* -->
24
25	<main>
26
27	<box title="Our canonical example" link="sort">
28	<include-verbatim file="overloading.cd"/>
29	</box>
30
31	<box title="The script than generates this site" link="site">
32	<include-verbatim file="site.cd"/>
33	</box>
34
35	</main>
36	</page>
37