[r2003-05-15 21:59:13 by cvscast] Modified list of pointers in the webpage Beppe

Original author: cvscast
Date: 2003-05-15 21:59:13+00:00

driver/webiface.ml

@@ -72,6 +72,7 @@ let html_header p =
     <ul>
      <li><a href=\"/\">Main page</a></li>
      <li><a href=\"/memento.html\">CDuce Memento</a></li>
+     <li><a href=\"/tutorial.html\">CDuce Tutorial</a></li>
     </ul>
    </div>
 ";