From e94ff82b43bc4f583d271a0cbccd96261e852ad6 Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Sat, 16 Feb 2002 02:23:33 +0000 Subject: [PATCH] - list of people - fixes here and there --- helm/mowgli/home/html/Makefile | 125 +++++++++++------- helm/mowgli/home/templates/home.html.bot | 6 +- helm/mowgli/home/templates/home.html.top | 40 +++--- helm/mowgli/home/templates/menu.html | 20 +-- .../home/templates/project_summary.html | 4 +- helm/mowgli/home/xml/news.xml | 8 ++ helm/mowgli/home/xml/sites/aei.xml | 11 +- helm/mowgli/home/xsl/common.xsl | 6 +- helm/mowgli/home/xsl/deadlines.xsl | 11 +- helm/mowgli/home/xsl/events.xsl | 10 +- 10 files changed, 146 insertions(+), 95 deletions(-) diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index e9005bfa6..3f0e5a466 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -2,10 +2,46 @@ #DESTDIR = /projects/mowgli/public_html DESTDIR = /tmp/mowgli +XSLTP = xsltproc --param current-date "'`date`'" TEMPLATESROOT = ../templates XMLROOT = ../xml XSLROOT = ../xsl +PEOPLE = \ + people/aei/kelley.html \ + people/aei/schutz.html \ + people/aei/velden.html \ + people/aei/wegner.html \ + people/bologna/asperti.html \ + people/bologna/guidi.html \ + people/bologna/padovani.html \ + people/bologna/sacerdoti.html \ + people/bologna/schena.html \ + people/dfki/kohlhase.html \ + people/dfki/melis.html \ + people/dfki/siekmann.html \ + people/inria/amerkad.html \ + people/inria/bertot.html \ + people/inria/chicli.html \ + people/inria/delahaye.html \ + people/inria/herbelin.html \ + people/inria/naciri.html \ + people/inria/pottier.html \ + people/inria/rideau.html \ + people/inria/thery.html \ + people/nijmegen/barendregt.html \ + people/nijmegen/barreiro.html \ + people/nijmegen/cohen.html \ + people/nijmegen/cruz-filipe.html \ + people/nijmegen/geuvers.html \ + people/nijmegen/niqui.html \ + people/nijmegen/stein.html \ + people/nijmegen/synek.html \ + people/nijmegen/wiedijk.html \ + people/trusted-logic/bolignano.html + +PEOPLE_SOURCE = $(PEOPLE:%.html=$(XMLROOT)/%.xml) + DOCUMENTS = \ index.html \ home.html \ @@ -17,6 +53,7 @@ DOCUMENTS = \ news.html \ events.html \ deadlines.html \ + people-list.html \ deliverables/distribution/d5a.html \ deliverables/distribution/d5b.html \ deliverables/information-dissemination-and-exploitation/d7a.html \ @@ -52,37 +89,6 @@ DOCUMENTS = \ sites/inria.html \ sites/nijmegen.html \ sites/trusted-logic.html \ - people/aei/kelley.html \ - people/aei/schutz.html \ - people/aei/velden.html \ - people/aei/wegner.html \ - people/bologna/asperti.html \ - people/bologna/guidi.html \ - people/bologna/padovani.html \ - people/bologna/sacerdoti.html \ - people/bologna/schena.html \ - people/dfki/kohlhase.html \ - people/dfki/melis.html \ - people/dfki/siekmann.html \ - people/inria/amerkad.html \ - people/inria/bertot.html \ - people/inria/chicli.html \ - people/inria/delahaye.html \ - people/inria/herbelin.html \ - people/inria/naciri.html \ - people/inria/pottier.html \ - people/inria/rideau.html \ - people/inria/thery.html \ - people/nijmegen/barendregt.html \ - people/nijmegen/barreiro.html \ - people/nijmegen/cohen.html \ - people/nijmegen/cruz-filipe.html \ - people/nijmegen/geuvers.html \ - people/nijmegen/niqui.html \ - people/nijmegen/stein.html \ - people/nijmegen/synek.html \ - people/nijmegen/wiedijk.html \ - people/trusted-logic/bolignano.html \ publications/others/category_al.html \ publications/others/crimea2001_apss.html \ publications/others/cup_s.html \ @@ -105,15 +111,21 @@ DOCUMENTS = \ work-packages/project-management.html \ work-packages/requirement-analysis.html \ work-packages/testing-and-validation.html \ - work-packages/transformation.html + work-packages/transformation.html \ + $(PEOPLE) all: $(DOCUMENTS) -home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \ +home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.mid $(TEMPLATESROOT)/home.html.bot \ $(XMLROOT)/news.xml \ - $(XSLROOT)/latest-news.xsl + $(XMLROOT)/other-events.xml \ + $(XSLROOT)/latest-news.xsl \ + $(XSLROOT)/sort-events-by-beginning.xsl \ + $(XSLROOT)/approaching-deadlines.xsl cat $(TEMPLATESROOT)/home.html.top >$@ - xsltproc $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml >>$@ + $(XSLTP) $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml >>$@ +# cat $(TEMPLATESROOT)/home.html.mid >>$@ +# $(XSLTP) $(XSLROOT)/sort-events-by-beginning.xsl $(XMLROOT)/other-events.xml | $(XSLTP) $(XSLROOT)/approaching-deadlines.xsl - >>$@ cat $(TEMPLATESROOT)/home.html.bot >>$@ index.html: $(TEMPLATESROOT)/index.html @@ -128,49 +140,70 @@ project-management.html: $(TEMPLATESROOT)/project-management.html project_summary.html: $(TEMPLATESROOT)/project_summary.html cp $< $@ +people-list.html: $(XSLROOT)/person-entry.xsl $(XSLROOT)/people-list.xsl $(PEOPLE_SOURCE) + ( \ + echo "" >/tmp/people-list.xml; \ + SITES=`cd $(XMLROOT)/sites; ls *.xml | cut -d'.' -f1`; \ + for i in $$SITES; \ + do \ + echo "" >>/tmp/people-list.xml; \ + SITE_PEOPLE=`cd $(XMLROOT)/people/$$i; ls *.xml | cut -d'.' -f1`; \ + for j in $$SITE_PEOPLE; \ + do \ + echo "" >>/tmp/people-list.xml; \ + done; \ + echo "" >>/tmp/people-list.xml; \ + done; \ + echo "" >>/tmp/people-list.xml \ + ) + $(XSLTP) -o people-list.html $(XSLROOT)/people-list.xsl /tmp/people-list.xml +# rm -rf /tmp/people-list.xml + consortium.html: $(XMLROOT)/consortium.xml \ $(XSLROOT)/consortium.xsl - xsltproc -o $@ $(XSLROOT)/consortium.xsl $< + $(XSLTP) -o $@ $(XSLROOT)/consortium.xsl $< project.html: $(XMLROOT)/project.xml \ $(XSLROOT)/project.xsl - xsltproc -o $@ $(XSLROOT)/project.xsl $< + $(XSLTP) -o $@ $(XSLROOT)/project.xsl $< news.html: $(XMLROOT)/news.xml \ $(XSLROOT)/news.xsl - xsltproc -o $@ $(XSLROOT)/news.xsl $< + $(XSLTP) -o $@ $(XSLROOT)/news.xsl $< events.html: $(XMLROOT)/other-events.xml \ + $(XSLROOT)/sort-events-by-beginning.xsl \ $(XSLROOT)/events.xsl - xsltproc -o $@ $(XSLROOT)/events.xsl $< + $(XSLTP) $(XSLROOT)/sort-events-by-beginning.xsl $< | $(XSLTP) -o $@ $(XSLROOT)/events.xsl - deadlines.html: $(XMLROOT)/other-events.xml \ + $(XSLROOT)/sort-events-by-deadline.xsl \ $(XSLROOT)/deadlines.xsl - xsltproc -o $@ $(XSLROOT)/deadlines.xsl $< + $(XSLTP) $(XSLROOT)/sort-events-by-deadline.xsl $< | $(XSLTP) -o $@ $(XSLROOT)/deadlines.xsl - deliverables/%.html: $(XMLROOT)/deliverables/%.xml \ $(XSLROOT)/deliverable.xsl - xsltproc -o $@ $(XSLROOT)/deliverable.xsl $< + $(XSLTP) -o $@ $(XSLROOT)/deliverable.xsl $< sites/%.html: $(XMLROOT)/sites/%.xml \ $(XSLROOT)/site.xsl - xsltproc -o $@ $(XSLROOT)/site.xsl $< + $(XSLTP) -o $@ $(XSLROOT)/site.xsl $< people/%.html: $(XMLROOT)/people/%.xml \ $(XSLROOT)/person.xsl - xsltproc -o $@ $(XSLROOT)/person.xsl $< + $(XSLTP) -o $@ $(XSLROOT)/person.xsl $< publications/%.html: $(XMLROOT)/publications/%.xml \ $(XSLROOT)/publication.xsl - xsltproc -o $@ $(XSLROOT)/publication.xsl $< + $(XSLTP) -o $@ $(XSLROOT)/publication.xsl $< work-packages/index.html: $(XMLROOT)/work-packages/index.xml \ $(XSLROOT)/work-packages_index.xsl - xsltproc -o $@ $(XSLROOT)/work-packages_index.xsl $< + $(XSLTP) -o $@ $(XSLROOT)/work-packages_index.xsl $< work-packages/%.html: $(XMLROOT)/work-packages/%.xml \ $(XSLROOT)/work-package.xsl - xsltproc -o $@ $(XSLROOT)/work-package.xsl $< + $(XSLTP) -o $@ $(XSLROOT)/work-package.xsl $< clean: rm -f $(DOCUMENTS) diff --git a/helm/mowgli/home/templates/home.html.bot b/helm/mowgli/home/templates/home.html.bot index 8674d7505..f4e51f343 100644 --- a/helm/mowgli/home/templates/home.html.bot +++ b/helm/mowgli/home/templates/home.html.bot @@ -1,4 +1,6 @@ - + + + @@ -10,7 +12,7 @@
- This pages are hosted by the + This page is hosted by the Department of Computer Science, University of Bologna.
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 @@
- - - - - - @@ -42,6 +42,7 @@ +
-

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

+
diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html index d2ca5f5c2..99b9fe252 100644 --- a/helm/mowgli/home/templates/menu.html +++ b/helm/mowgli/home/templates/menu.html @@ -22,12 +22,12 @@ + - - +
Home
Consortium
People
Work Packages
Publications
Bibliography
Events
News Archive
Members Area
Publications
Software (CVS)
MathML
OpenMath
OMDoc
Bibliography
@@ -69,13 +70,13 @@ --> - About + Contact - + @@ -86,12 +87,6 @@ - - - - - -
Contact:
Project Leader:
asperti@cs.unibo.it
mowgli-webmaster@cs.unibo.it
Last Update:
@DATE@
@@ -100,6 +95,11 @@ +
+ +
Last Update:
+
@DATE@
+ diff --git a/helm/mowgli/home/templates/project_summary.html b/helm/mowgli/home/templates/project_summary.html index 700844f1b..1834a868d 100644 --- a/helm/mowgli/home/templates/project_summary.html +++ b/helm/mowgli/home/templates/project_summary.html @@ -25,7 +25,7 @@ documents (MathML, OpenMath, OMDoc), integrating them with different XML technology (XSLT, RDF, ...).

-

Description of work

+

Description of Work

The goal of the project is to provide a comprehensive description, from content to metadata, of a given field of knowledge (in our case mathematics), in order to enhance its accessibility, exchange and @@ -67,7 +67,7 @@ to develop the technological infrastructure required for taking advantage of the potentialities of all of them.

-

Milestones and expected results

+

Milestones and Expected Results

First MOWGLI prototype (month 18)
Supporting browsing, rendering and on-line consultation of large diff --git a/helm/mowgli/home/xml/news.xml b/helm/mowgli/home/xml/news.xml index b0aa2310f..329df3a19 100644 --- a/helm/mowgli/home/xml/news.xml +++ b/helm/mowgli/home/xml/news.xml @@ -13,6 +13,14 @@ + + February 15, 2002 + + Andrea complains about new colours ;-) Event section is coming along. + + + + February 14, 2002
Valentine's Day
diff --git a/helm/mowgli/home/xml/sites/aei.xml b/helm/mowgli/home/xml/sites/aei.xml index 8973a830c..3cc1c1c22 100644 --- a/helm/mowgli/home/xml/sites/aei.xml +++ b/helm/mowgli/home/xml/sites/aei.xml @@ -13,8 +13,9 @@

Since 1998 the Max Planck Institute for Gravitational Physics, which is devoted to basic research in relativity, publishes one of the most - innovative electronic science journals, {\em Living Reviews in - Relativity} (http://www.livingreviews.org). Its mission is to build the + innovative electronic science journals, + Living Reviews in + Relativity. Its mission is to build the journal into a primary reference point in the field, exploiting new and cutting edge Web technologies to maximise use, transparency, and depth of the information provided. The Institute has a number of staff who @@ -22,7 +23,7 @@ the development of software that has made the journal's Web site one of the most advanced in the world of electronic publishing. Further background information on the journal can be found at - http://www.livingreviews.org/Project/index.html. Fast and effective + http://www.livingreviews.org/Project/index.html. Fast and effective international dissemination of the Web journal is provided by the European Mathematical Society's Information Service, which maintains a network of more than 30 mirror servers worldwide

@@ -32,12 +33,12 @@ their ability to access and to publish information on the Internet. It is further cooperating with the leading European publisher of original research in gravitational physics, the Institute of Physics Publishing - (Bristol, UK) with its journal {\em Classical and Quantum Relativity}.

+ (Bristol, UK) with its journal Classical and Quantum Relativity.

The Max Planck Institute for Gravitational Physics will join forces with Professor Bernd Wegner at the Technical University in Berlin. Both parties are currently cooperating in the dissemination and mirroring of electronic journals like - {\em Living Reviews in Relativity}.

+ Living Reviews in Relativity.

 diff --git a/helm/mowgli/home/xsl/common.xsl b/helm/mowgli/home/xsl/common.xsl index f6036094e..f33f8ea70 100644 --- a/helm/mowgli/home/xsl/common.xsl +++ b/helm/mowgli/home/xsl/common.xsl @@ -3,6 +3,8 @@ + +
@@ -30,9 +32,11 @@
- This pages are hosted by the + This page is hosted by the Department of Computer Science, University of Bologna. +
+ Last updated .
diff --git a/helm/mowgli/home/xsl/deadlines.xsl b/helm/mowgli/home/xsl/deadlines.xsl index fde85f52d..9644bfdc4 100644 --- a/helm/mowgli/home/xsl/deadlines.xsl +++ b/helm/mowgli/home/xsl/deadlines.xsl @@ -18,14 +18,12 @@ -

Mowgli Events Sorted by Deadlines

+

Events

+ [Sorted by event date] [Sorted by deadline] +

-

Events of Interest to MOWGLI Sorted by Deadlines --- - Sort by events date!

    - - - +
@@ -56,3 +54,4 @@ + diff --git a/helm/mowgli/home/xsl/events.xsl b/helm/mowgli/home/xsl/events.xsl index 2ab8231c4..8a33e5fc3 100644 --- a/helm/mowgli/home/xsl/events.xsl +++ b/helm/mowgli/home/xsl/events.xsl @@ -18,14 +18,12 @@ -

Mowgli Events

+

Events

+ [Sorted by event date] [Sorted by deadline] +

-

Events of Interest to MOWGLI --- - Sort by deadlines!

- - - +
-- 2.39.2