MoWGLI Home Page

From: Claudio Sacerdoti Coen Date: Sun, 24 Feb 2002 14:36:50 +0000 (+0000) Subject: More cleanup: the home page is now generated by means of XSLT only. X-Git-Tag: V_0_3_0_debian_8~277 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0d0b47b4a6dc53d8fa5504c25f6f7323f5e3aa1b;p=helm.git More cleanup: the home page is now generated by means of XSLT only. (i.e. no more cat ... >> $@) --- diff --git a/helm/mowgli/home/html/.cvsignore b/helm/mowgli/home/html/.cvsignore index a9263be2f..f2f11b699 100644 --- a/helm/mowgli/home/html/.cvsignore +++ b/helm/mowgli/home/html/.cvsignore @@ -11,3 +11,5 @@ mowgli-events.html other-events.html deadlines.html people-list.html +latest-news.xml +approaching-deadlines.xml diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index d19e187ef..8fc0e0b8a 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -121,17 +121,16 @@ DOCUMENTS = \ all: $(DOCUMENTS) -home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \ +home.html: $(XMLROOT)/home.xml \ $(XMLROOT)/news.xml \ $(XMLROOT)/other-events.xml \ $(XMLROOT)/mowgli-events.xml \ $(XSLROOT)/latest-news.xsl \ - $(XSLROOT)/approaching-deadlines.xsl - cat $(TEMPLATESROOT)/home.html.top >$@ - $(XSLTP) $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml >>$@ - echo "" >> $@ - $(XSLTP) --param today `date +%Y%m%d` $(XSLROOT)/approaching-deadlines.xsl $(XMLROOT)/other-events.xml >>$@ - sed s/\@DATE\@/"`date`"/ $(TEMPLATESROOT)/home.html.bot >>$@ + $(XSLROOT)/approaching-deadlines.xsl \ + $(XSLROOT)/xhtml-content.xsl + $(XSLTP) -o latest-news.xml $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml + $(XSLTP) --param today `date +%Y%m%d` -o approaching-deadlines.xml $(XSLROOT)/approaching-deadlines.xsl $(XMLROOT)/other-events.xml + $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl $(XMLROOT)/home.xml index.html: $(TEMPLATESROOT)/index.html cp $< $@ diff --git a/helm/mowgli/home/templates/home.html.bot b/helm/mowgli/home/templates/home.html.bot deleted file mode 100644 index cd530bc0c..000000000 --- a/helm/mowgli/home/templates/home.html.bot +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - -
- -

- - - - - - -

- This page is hosted by the - Department of Computer Science, - University of Bologna. -
- Last update: @DATE@ -

-
- - - diff --git a/helm/mowgli/home/templates/home.html.top b/helm/mowgli/home/templates/home.html.top deleted file mode 100644 index ad709f5c8..000000000 --- a/helm/mowgli/home/templates/home.html.top +++ /dev/null @@ -1,86 +0,0 @@ - - - - - - MoWGLI Home Page - - - - - -
- - - - - - -

- -
- -

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

- -
- - - - - - - - -

- -

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 from 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).

- -

Latest News

- -

diff --git a/helm/mowgli/home/xml/home.xml b/helm/mowgli/home/xml/home.xml new file mode 100644 index 000000000..e784106a1 --- /dev/null +++ b/helm/mowgli/home/xml/home.xml @@ -0,0 +1,117 @@ + + + + + + MoWGLI Home Page + + + + + +
+ + + + + + +

+ +
+ +

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

+ +
+ + + + + + + + + + +

+ +

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 from 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).

+ +

Approaching Deadlines:

@@ -18,6 +19,7 @@ + diff --git a/helm/mowgli/home/xsl/latest-news.xsl b/helm/mowgli/home/xsl/latest-news.xsl index 29cbaa7a5..974c2e981 100644 --- a/helm/mowgli/home/xsl/latest-news.xsl +++ b/helm/mowgli/home/xsl/latest-news.xsl @@ -6,13 +6,18 @@ - + + +

Latest News

Older news

+ Older news + diff --git a/helm/mowgli/home/xsl/xhtml-content.xsl b/helm/mowgli/home/xsl/xhtml-content.xsl index bd492129c..254b426b0 100644 --- a/helm/mowgli/home/xsl/xhtml-content.xsl +++ b/helm/mowgli/home/xsl/xhtml-content.xsl @@ -1,13 +1,15 @@ + xmlns:xsl="http://www.w3.org/1999/XSL/Transform" + xmlns:mowgli="http://mowgli.cs.unibo.it/website"> + @@ -19,7 +21,7 @@

- +

@@ -27,5 +29,21 @@ - + + + + + + + + + + + + + + + + +

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

Abstract

Latest News

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

Abstract

Approaching Deadlines:

Latest News