[r2003-07-11 15:17:33 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-11 15:17:33+00:00

web/index.xml

@@ -95,7 +95,7 @@ DTD, XML Schema, Relax-NG, ...) seriously. The benefit are the following:</p>
 
 <ul>
 <li> <b>static verifications</b>
-(e.g.: ensure that a transformation produces a valid document<a href="#ftn1"><sup>1</sup></a>);</li>
+(e.g.: ensure that a transformation produces a valid document <a href="#ftn1"><sup>1</sup></a>);</li>
 <li> in particular, we aim at <b>smooth and safe</b> compositions
 of XML transformations, and incremental programming;</li>
 <li> static <b>optimizations</b> and <b>efficient execution model</b>
@@ -143,7 +143,7 @@ style-sheet (we performed benchmarks with
 the xsltproc tools from the Gnome libxslt library).
 </p>
 <p style="font-size:8px"><a name="ftn1"><sup>1</sup></a>Valid with respect to validity constraints
-that can be expressed by the type system (thus typically excluding the
+that can be expressed by the type system (thus typically excluding 
 constraints like <a href="http://www.w3.org/TR/REC-xml#sec-attribute-types">ID</a> and
 <a href="http://www.w3.org/TR/REC-xml#sec-attribute-types">IDREF</a>).
 </p>