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=a055ef9ccbe13bf5c6f2c4c831f0545eb60bf637;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 @@
- A few lines- |
- - | -
- Latest News- |
-
- 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.
+
+ Abstract+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, ...). + + Read more... + |
- - + |
+
+
+ Latest News+ |