[r2003-05-08 22:48:04 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-08 22:48:04+00:00

web/index.xml

@@ -125,7 +125,8 @@ Some of CDuce peculiar features:
 </ul>
 
 <p>
-<a href="bench.php">Preliminary benchmarks</a> suggest that a CDuce
+<a href="bench.php">Preliminary benchmarks</a> suggest that despite the
+overhead for static type verification, a CDuce
 program can run faster (30% to 60%) than an equivalent XSLT
 style-sheet (we performed benchmarks with
 the xsltproc tools from the Gnome libxslt library).

web/team.xml

@@ -41,6 +41,11 @@ This page briefly presents the syntax of the CDuce language.
    Stefano Zacchiroli
   </a> (Graduate student)
 </li>
+<li>
+  <a href="http://www.di.ens.fr/~deletail">
+   Josh de Letaillade
+  </a> (DEA student)
+</li>
 </ul>
 </box>