Commit 259ef8bb authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-07-06 18:14:19 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-06 18:14:19+00:00
parent 4cad9110
......@@ -63,6 +63,16 @@ See also the <local href="team">CDuce team</local> page,
our <local href="papers">technical papers</local>.
<section title="Getting more information">
If you want more information about CDuce, or if you want to join the
CDuce users mailing list, you can send a mail to
<tt></tt> (replace <tt>_at_</tt> with <tt>@</tt>).
<section title="Online running prototype">
<p> To get a feeling of CDuce,
you can play with the <local href="proto">online prototype</local>,
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