Commit 3c06634a authored by Pietro Abate's avatar Pietro Abate

[r2003-09-26 08:33:00 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-26 08:33:01+00:00
parent 12e61f59
......@@ -12,9 +12,8 @@
We mantain three kinds of on-line documentation: a <a
href="manual.html">User's guide</a> where all CDuce constructions are
grouped by categories and explained; a <a href="tutorial.html">Tutorial</a>
where we try to give a gentle introduction to programming in CDuce; and a
<a href="memento.html">Quick reference</a> a short reference card
where each CDuce construction is briefly outlined.
where we give a gentle introduction to programming in CDuce; and a
<a href="memento.html">Quick reference card</a> where we group and briefly explain in a single pag CDuce syntax.
</p>
<p>
For more technical and theoretical information you can consult the technical paper available <a href="papers.html">here</a>.
......
......@@ -10,7 +10,7 @@
<include file="manual/namespaces.xml"/>
<left>
<p>
This Guide describes every construction of CDuce.
This Guide describes all CDuce's constructions.
</p>
<pages-toc/>
<p>See also:</p>
......
......@@ -6,8 +6,14 @@
<left>
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the <a href="cgi-bin/cduce">online interpreter</a>.
</p>
</left>
<box title="Key concepts" link="p1">
<b style="color:#FF0080">TO BE DONE</b>
......
......@@ -6,6 +6,10 @@
<left>
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the <a href="cgi-bin/cduce">online interpreter</a>.
</p>
</left>
<box title="First functions" link="t2">
......
......@@ -3,6 +3,14 @@
<title>Getting started</title>
<left>
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the <a href="cgi-bin/cduce">online interpreter</a>.
</p>
</left>
<box title="Key concepts" link="concepts">
<p>
......
......@@ -2,6 +2,13 @@
<page name="tutorial_overloading">
<title>Overloading</title>
<left>
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the <a href="cgi-bin/cduce">online interpreter</a>.
</p>
</left>
<box title="Overloaded functions" link="val">
......
......@@ -6,6 +6,10 @@
<left>
<boxes-toc/>
<p>
You can cut and paste the code on this page and
test it on the <a href="cgi-bin/cduce">online interpreter</a>.
</p>
</left>
<box title="Key concepts" link="p1">
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment