[r2003-05-14 20:39:19 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-14 20:39:19+00:00

web/bench.xml

@@ -38,9 +38,9 @@ the example is intended to evaluate run-time efficiency.
 </p>
 
 <p>
-<a href="bench/addrbook.cd">CDuce source</a> -
-<a href="bench/addrbook.q">XDuce source</a> -
-<a href="bench/addrbook.ml">OCaml file</a> (to generate random documents).
+<a href="benchmarks/addrbook.cd">CDuce source</a> -
+<a href="benchmarks/addrbook.q">XDuce source</a> -
+<a href="benchmarks/addrbook.ml">OCaml file</a> (to generate random documents).
 </p>
 
 
@@ -76,10 +76,10 @@ the example is intended to evaluate type-checking time.
 </p>
 
 <p>
-<a href="bench/html2latex.cd">CDuce source</a> -
-<a href="bench/xhtml-trans.cd">CDuce source (XHTML Transitional DTD)</a> -
-<a href="bench/html2latex.q">XDuce source</a> -
-<a href="bench/tst_html2latex.xml">Sample input XML file</a>.
+<a href="benchmarks/html2latex.cd">CDuce source</a> -
+<a href="benchmarks/xhtml-trans.cd">CDuce source (XHTML Transitional DTD)</a> -
+<a href="benchmarks/html2latex.q">XDuce source</a> -
+<a href="benchmarks/tst_html2latex.xml">Sample input XML file</a>.
 </p>
 
 <table border="1">
@@ -127,10 +127,10 @@ encouraging.
 </p>
 
 <p>
-<a href="bench/split.cd">CDuce source</a> -
-<a href="bench/split.xslt1.xml">XSLT source</a> -
-<a href="bench/split.xslt2.xml">XSLT source (another version)</a> -
-<a href="bench/split.ml">OCaml file</a> (to generate random documents).
+<a href="benchmarks/split.cd">CDuce source</a> -
+<a href="benchmarks/split.xslt1.xml">XSLT source</a> -
+<a href="benchmarks/split.xslt2.xml">XSLT source (another version)</a> -
+<a href="benchmarks/split.ml">OCaml file</a> (to generate random documents).
 </p>
 
 

web/sitemap.xml

@@ -9,6 +9,12 @@
 </left>
 
 <box title="Sitemap" link="sitemap">
+<p>
+Pages of CDuce web site are organized as a tree. A CDuce
+<a href="examples#site">script</a> is in charge of generating
+all the pages from an XML description. Thanks to CDuce type system,
+we know that the produced pages are valid for XHTML 1.0.
+</p>
 <site-toc/>
 </box>