[r2003-05-14 21:01:17 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-14 21:02:06+00:00

driver/webiface.ml

@@ -71,7 +71,7 @@ let html_header p =
    <div class=\"box\">
     <ul>
      <li><a href=\"/\">Main page</a></li>
-     <li><a href=\"/memento.php\">CDuce Memento</a></li>
+     <li><a href=\"/memento.html\">CDuce Memento</a></li>
     </ul>
    </div>
 ";

web/index.xml

@@ -63,8 +63,8 @@ our <local href="papers">technical papers</local>.
 </p>
 
 <section title="Online running prototype">
-<p> The only available implementation of CDuce is an <a
-href="cgi-bin/cduce">online prototype</a>. To get a feeling of CDuce,
+<p> The only available implementation of CDuce is an <local
+href="proto">online prototype</local>. To get a feeling of CDuce,
 you can try the examples and play with them, or have a look at this <local
 href="memento">memento</local> which briefly explains the syntax of
 the language. We also have some <local href="examples">larger

web/site.cd

@@ -162,6 +162,7 @@ match page 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)
+   | <a href=url>_ & z -> let [] = print [ 'External link: ' !url '\n'] in z
    | z -> z
  in
 

web/sitemap.xml

@@ -11,7 +11,7 @@
 <box title="Sitemap" link="sitemap">
 <p>
 Pages of CDuce web site are organized as a tree. A CDuce
-<a href="examples#site">script</a> is in charge of generating
+<a href="examples.html#site">script</a> is in charge of generating
 all the pages from an XML description. Thanks to CDuce type system,
 we know that the produced pages are valid for XHTML 1.0.
 </p>