Commit b07e0a2b authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-11-18 23:16:09 by beppe] Empty log message

Original author: beppe
Date: 2003-11-18 23:18:52+00:00
parent 0ff04fa1
......@@ -56,7 +56,8 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<section title="2003, October 26th, Sunday: New addition to papers.">
<p>
If you want a simple and basic introduction to the theoretical foundations
of CDuce, there is a new entry in the <a href="papers.html">papers page</a>.
of CDuce, there is a new entry in the <a href="papers.html">papers page</a>: <i>"A Gentle
Introduction to Semantic Subtyping"</i>.
</p>
<br/>
</section>
......
......@@ -5,7 +5,7 @@
<left>
<p>This page presents Papers and Talks about CDuce.</p>
<boxes-toc/>
<boxes-toc sections=""/>
<p>See also:</p>
<local-links href="index,proto,documentation"/>
</left>
......@@ -60,7 +60,7 @@ Superseded by the previous paper
</ul>
</section>
<section title="Theoretical foundations">
<section title="Theoretic Foundations">
<ul>
<li>
<paper file="papers/gentle.ps.gz">
......
......@@ -41,8 +41,8 @@ type Content =
| <sample highlight=?"true"|"false">String
| H:Xtable
| Paper | Slides | Link
| <boxes-toc sections=?"">[]
| <pages-toc sections=?"">[]
| <boxes-toc sections=?"">[] (* the presence optional "section" attr produces *)
| <pages-toc sections=?"">[] (* a two-level depth toc to include also sections *)
| <site-toc>[]
| <local-links href=String>[]
| <two-columns>[ <left>Content <right>Content ]
......
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