[r2003-07-11 13:24:57 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-11 13:24:57+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);</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>
@@ -142,6 +142,11 @@ 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).
 </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
+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>
 </box>
 
 <box title="Research directions" link="research">
@@ -196,6 +201,7 @@ developped nice ideas: mixed attribute-element types (same
 expressive power as our records, but they can sometimes avoid exponential
 explosion where we cannot); powerful filter operation.
 </p>
+
 </box>
 
 <box title="Related links" link="links">

web/site.cd

@@ -38,7 +38,7 @@ type Link =
   <link url=String title=String>[ InlineText* ]
 
 type Content =      
-   [ ( <p {||}>[InlineText*]
+   [ ( <p {|style=?String|}>[InlineText*]
      | <ul {||}>[<li {||}>Content +]
      | <section title=String>Content
      | <sample highlight=?"true"|"false">String
@@ -229,7 +229,7 @@ match page with
         [ <ul>(map lis with <li>x -> <li>(content x)) ]
    | Xtable & x -> 
         [ x ]
-   | <p>x -> [ <p>(text x) ]
+   | <p (attr)>x -> [ <p (attr)>(text x) ]
    | <pages-toc>[] ->
         let toc = 
          transform items with