Commit 8905b7d9 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-07-01 00:03:17 by beppe] Empty log message

Original author: beppe
Date: 2005-07-01 00:03:17+00:00
parent af47acbf
......@@ -26,7 +26,7 @@ where we give a gentle introduction to programming in CDuce; and a
<p>A PDF version of the user guide is regularly regenerated from the site and is available here: <a href="papers/manual.pdf">manual.pdf</a>. Similarly a PDF version of the tutorial is available here: <a href="papers/tutorial.pdf">tutorial.pdf</a>. These document are generated by a CDuce program available in the CVS (doc/fomanual). For an up-to-date version always consult the on-line versions</p>
For more technical and theoretical information you can consult the technical paper available <a href="papers.html">in this page</a>.
For more technical and theoretical information you can consult the technical papers available <a href="papers.html">in this page</a>.
......@@ -262,7 +262,16 @@ match page with
<page name=name leftbar="false"&(leftbar:=`false) else (leftbar:=`true) ..>[
(<title>title <banner>banner | <title>(title & banner))
items::_* ] ->
let items = items @ footer in
let items =
<a href="cduce">"Online prototype" ' - '
<a href="documentation.html">"Documentation"' - '
<a href="download.html">"Download"' - '
<a href="demo.html">"Demo"' - '
<a href="mailing.html">"Support"
@ items
@ footer in
let footnote_counter = ref Int 0 in
let footnotes = ref H.Flow [] in
......@@ -252,7 +252,7 @@ regular constraints. </p></abstract>
<author> Gert Smolka</author>
<comment>5th International Workshop on Frontiers in Combining Systems.</comment>
We introduce a new concurrent lambda calculus with futures,
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