X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Ftemplates%2Fhome.html.top;h=9118ce3d03fdf1d883661873590ce8c8b2848cf8;hb=b84824bb28226c850f2449e94c3c6d0f56f7a531;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..9118ce3d0 100644 --- a/helm/mowgli/home/templates/home.html.top +++ b/helm/mowgli/home/templates/home.html.top @@ -11,51 +11,76 @@
+
MoWGLI Logo - IST Logo + IST Logo

- - - - - - +
+
+
+

Warning: + This site is under construction. Check often for updates.

+
+
+
+
+ +
-

A few lines

-
- -

Latest News

-
+

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 technologies + (XSLT, + RDF, etc).

+ +

Read more about the project:

+ + - +
- 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

-
-    -    +      +
+ +

Latest News

+