[r2003-05-14 22:58:16 by cvscast] Adding links on home page

Original author: cvscast
Date: 2003-05-14 22:58:16+00:00

web/index.xml

@@ -181,9 +181,15 @@ explosion where we cannot); powerful filter operation.
 
 <box title="Related links" link="links">
 <ul>
+<li> <link url="http://www.w3.org/XML/"
+title="Extensible Markup Language (XML)"> The W3C page on XML. </link>
+</li>
 <li> <link url="http://www.research.avayalabs.com/user/wadler/xml/"
 title="XML: Some hyperlinks minus the hype"> By Philip Wadler. </link>
-</li> </ul> </box>
+</li>
+<li> <link url="http://xduce.sourceforge.net/"
+title="XDuce"> XDuce home page. </link> </li>
+</ul> </box>
 
 
 <meta>