X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Ftemplates%2Fhome.html.top;h=cc66054753b4633f7e667e4593758e6366f93946;hb=e94ff82b43bc4f583d271a0cbccd96261e852ad6;hp=dba56ec770ac2ef79e7254cfa9cce8ad660dc4aa;hpb=64bcf92b85dc19995d2c94f194ac909e5cb901fe;p=helm.git

diff --git a/helm/mowgli/home/templates/home.html.top b/helm/mowgli/home/templates/home.html.top
index dba56ec77..cc6605475 100644
--- a/helm/mowgli/home/templates/home.html.top
+++ b/helm/mowgli/home/templates/home.html.top
@@ -25,25 +25,28 @@
       <br />
 
       <table width="100%" border="0" cellspacing="0" cellpadding="0">
-      <tr>
-        <td>
-          <h3>A few lines</h3>
-	</td>
-	<td>
-	</td>
-	<td>
-          <h3>Latest News</h3>
-	</td>
-      </tr>
-
       <tr>
 
       <td valign="top">
-      with a brief description of the project
-      and possibly links to the member sites.
-      A link to a more detailed section should be provided
-      here, so that newcomers don't have to look inside the menu to read more.
+
+      <h3>Abstract</h3>
       
+      <p>The World Wide Web is already the largest resource of mathematical
+     knowledge, and its importance will be exponentiated by emerging display
+     technologies like MathML. However, almost all mathematical documents
+     available on the Web are marked up only for presentation, severely
+     crippling the potentialities for automation, interoperability,
+     sophisticated searching mechanisms, intelligent applications,
+     transformation and processing. The goal of the project is to overcome
+     these limitations, passing form a machine-readable to a
+     machine-understandable representation of the information, and developing
+     the technological infrastructure for its exploitation. MOWGLI builds on
+     previous ``standards'' for the management and publishing of mathematical
+     documents (MathML, OpenMath, OMDoc), integrating them with different XML
+     technology (XSLT, RDF, ...).</p>
+
+     <a href="project_summary.html">Read more...</a>
+
       </td>
 
       <!--
@@ -52,10 +55,13 @@
       -->
 
       <td>
-        &nbsp;&nbsp;
-        &nbsp;&nbsp;
+        &nbsp;&nbsp;&nbsp;&nbsp;
       </td>
 
       <td valign="top">
 
+      <div class="small">
+
+      <h3>Latest News</h3>
+
       <dl>