]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/templates/home.html.top
- removed date from menu (useful?)
[helm.git] / helm / mowgli / home / templates / home.html.top
index 0626213469ca09859cd3d14afd2de894e2ef5cf3..3e2efba55b01c9b3a7e9c6f89fe3b4b7d2d1e7bf 100644 (file)
 
       <td valign="top">
 
+      <blockquote>
+       <div class="center">
+        <div class="small">
+         <h3><em>Warning</em></h3>
+         This site is under construction. Some sections have not been filled yet, some
+         links might be broken, some content is temporary. Check often for updates.
+       </div>
+       </div>
+      </blockquote>
+      
       <h3>Abstract</h3>
       
       <p>The World Wide Web is already the largest resource of mathematical
@@ -51,6 +61,8 @@
      (<a target="_top" href="http://www.w3.org/TR/xslt">XSLT</a>,
      <a target="_top" href="http://www.w3.org/RDF/">RDF</a>, etc).</p>
 
+     <p>Read more about the project:</p>
+
      <ul>
        <li><a href="project-summary.html">Summary</a></li>
        <li><a href="project-management.html">Management</a></li>