[r2003-07-06 18:18:30 by cvscast] Beppe, modified in order to preserve...

[r2003-07-06 18:18:30 by cvscast] Beppe, modified in order to preserve attributes for <i> <b> etc ...

Original author: cvscast
Date: 2003-07-06 18:18:31+00:00

web/bench.xml

@@ -21,7 +21,7 @@ otherwise specified.
 </p>
 
 <p>
-These are <b style="color:#800080"><i style="color:#FF0080">old</i></font> preliminary benchmarks</b>, and results
+These are <b style="color:#800080"><i style="color:#FF0080">old</i> preliminary benchmarks</b>, and results
 should be taken with much care. <b style="color:#800080">New benchmarks will be posted soon</b>; 
 in the meanwhile you can <i style="color:#FF0080">find them at the end of <a href="http://www.cduce.org/papers/cduce-design.ps.gz">this paper</a></i>.
 </p>

web/site.cd

@@ -201,7 +201,7 @@ match page with
   map t with
    | <code>x -> <b>[ <tt>(highlight x) ]
    | <local href=l>txt -> local_link (sitemap,l,txt)
-   | <(tag & (`b|`i|`tt|`em))>x -> <(tag)>(text x)
+   | <(tag & (`b|`i|`tt|`em)) (attr)>x -> <(tag) (attr)>(text x)
 (*   | <a href=url>_ & z -> let [] = print [ 'Link: ' !url '\n'] in z *)
    | z -> z
  in