]> matita.cs.unibo.it Git - helm.git/commitdiff
- list of people
authorLuca Padovani <luca.padovani@unito.it>
Sat, 16 Feb 2002 02:23:33 +0000 (02:23 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 16 Feb 2002 02:23:33 +0000 (02:23 +0000)
- fixes here and there

helm/mowgli/home/html/Makefile
helm/mowgli/home/templates/home.html.bot
helm/mowgli/home/templates/home.html.top
helm/mowgli/home/templates/menu.html
helm/mowgli/home/templates/project_summary.html
helm/mowgli/home/xml/news.xml
helm/mowgli/home/xml/sites/aei.xml
helm/mowgli/home/xsl/common.xsl
helm/mowgli/home/xsl/deadlines.xsl
helm/mowgli/home/xsl/events.xsl

index e9005bfa6e914a012a94af509e657268245adc4c..3f0e5a46639dcc65d4f9ed63ffd53df623f85298 100644 (file)
@@ -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 "<people>" >/tmp/people-list.xml; \
+               SITES=`cd $(XMLROOT)/sites; ls *.xml | cut -d'.' -f1`; \
+               for i in $$SITES; \
+               do \
+                       echo "<from site=\"$$i\">" >>/tmp/people-list.xml; \
+                       SITE_PEOPLE=`cd $(XMLROOT)/people/$$i; ls *.xml | cut -d'.' -f1`; \
+                       for j in $$SITE_PEOPLE; \
+                       do \
+                               echo "<person file=\"$$j\"/>" >>/tmp/people-list.xml; \
+                       done; \
+                       echo "</from>" >>/tmp/people-list.xml; \
+               done; \
+               echo "</people>" >>/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)
index 8674d75054586261a85f894cfb1b5240afdd3f21..f4e51f34357c174c336c187b83a94c716d1ae637 100644 (file)
@@ -1,4 +1,6 @@
-      </dl>
+      <!-- </ul> -->
+
+      </div>
 
       </td>
       </tr>
@@ -10,7 +12,7 @@
         <tr>
          <td align="left" valign="top">
       <div class="small">
-            This pages are hosted by the
+            This page is hosted by the
             <a href="http:/www.cs.unibo.it">Department of Computer Science</a>,
             <a href="http://www.unibo.it">University of Bologna</a>.
       </div>
index dba56ec770ac2ef79e7254cfa9cce8ad660dc4aa..cc66054753b4633f7e667e4593758e6366f93946 100644 (file)
       <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>
 
       <!--
       -->
 
       <td>
-        &nbsp;&nbsp;
-        &nbsp;&nbsp;
+        &nbsp;&nbsp;&nbsp;&nbsp;
       </td>
 
       <td valign="top">
 
+      <div class="small">
+
+      <h3>Latest News</h3>
+
       <dl>
index d2ca5f5c205cf12ce328318db951a84c6b9aa60a..99b9fe2529a669b21ac6d4e40a990b765ce69f79 100644 (file)
       <table width="100%" border="0">
       <tr><td><a class="menulink" target="content" href="home.html">Home</a></td></tr>
       <tr><td><a class="menulink" target="content" href="consortium.html">Consortium</a></td></td>
+      <tr><td><a class="menulink" target="content" href="people-list.html">People</a></td></td>
       <tr><td><a class="menulink" target="content" href="work-packages/index.html">Work Packages</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="publications/mowgli">Publications</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="publications/others">Bibliography</a></td></tr>
       <tr><td><a class="menulink" target="content" href="events.html">Events</a></td></tr>
       <tr><td><a class="menulink" target="content" href="news.html">News Archive</a></td></tr>
       <tr><td><a class="menulink" target="content" href="">Members Area</a></td></tr>
+      <tr><td><a class="menulink" target="content" href="publications/mowgli">Publications</a></td></tr>
       <tr><td><a class="menulink" target="content" href="">Software</a> (<a class="menulink" href="">CVS</a>)</td></tr>
       </table>
     </td>
@@ -42,6 +42,7 @@
       <tr><td><a class="menulink" target="_top" href="http://www.w3.org/Math">MathML</a></td></tr>
       <tr><td><a class="menulink" target="_top" href="http://www.openmath.org">OpenMath</a></td></tr>
       <tr><td><a class="menulink" target="_top" href="http://www.mathweb.org/omdoc/news.html">OMDoc</a></td></tr>
+      <tr><td><a class="menulink" target="content" href="publications/others">Bibliography</a></td></tr>
       </table>
     </td>
   </tr>
   </tr>
   -->
 
-  <tr><td class="menutitle">About</td></tr>
+  <tr><td class="menutitle">Contact</td></tr>
 
   <tr>
     <td class="menuentries">
       <table width="100%" border="0">
         <tr>
-         <td><div class="small">Contact:</td>
+         <td><div class="small">Project Leader:</td>
        </tr>
         <tr>
          <td><div class="small"><a href="mailto:asperti@cs.unibo.it">asperti@cs.unibo.it</a></td>
         <tr>
          <td><div class="small"><a href="mailto:mowgli-webmaster@cs.unibo.it">mowgli-webmaster@cs.unibo.it</a></div></td>
        </tr>
-        <tr>
-         <td><div class="small">Last Update:</div></td>
-       </tr>
-        <tr>
-         <td><div class="small"><b>@DATE@</b></div></td>
-       </tr>
       </table>
     </td>
   </tr>
   </td></tr>
   </table>
 
+  <br />
+
+  <div class="small">Last Update:</div>
+  <div class="small"><b>@DATE@</b></div>
+
   </body>
 
 </html>
index 700844f1bbf3589bbbdf7764d95f05148aab06bc..1834a868d4511a47bcce5219f43d76f469399bbd 100644 (file)
@@ -25,7 +25,7 @@
      documents (MathML, OpenMath, OMDoc), integrating them with different XML
      technology (XSLT, RDF, ...).</p>
 
-  <h2>Description of work</h2>
+  <h2>Description of Work</h2>
   <p>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.</p>
   
-  <h2>Milestones and expected results</h2>
+  <h2>Milestones and Expected Results</h2>
   <dl>
    <dt>First MOWGLI prototype (month 18)</dt>
    <dd>Supporting browsing, rendering and on-line consultation of large 
index b0aa2310fb6a111f31ed603d7f8b1d535e6f7b4b..329df3a19ca98ddc59623f450517f12923e1ce8a 100644 (file)
 
 <news>
 
+  <event>
+    <date>February 15, 2002</date>
+    <description>
+      Andrea complains about new colours ;-) Event section is coming along.
+    </description>
+    <who file="bologna/padovani"/>
+  </event>
+      
   <event>
     <date>February 14, 2002</date>
     <header>Valentine's Day</header>
index 8973a830caf015515e0b48bdce4ea35699740b97..3cc1c1c226fb29c7c240981a1d30ba32504fe237 100644 (file)
@@ -13,8 +13,9 @@
   <description>
    <p>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, 
+      <a target="_top" href="http://www.livingreviews.org">Living Reviews in
+      Relativity</a>. 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
+      <a target="_top" href="http://www.livingreviews.org/Project/index.html">http://www.livingreviews.org/Project/index.html</a>.  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</p>
       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}.</p>
+      (Bristol, UK) with its journal <em>Classical and Quantum Relativity</em>.</p>
     <p>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}.</p>
+       <em>Living Reviews in Relativity</em>.</p>
   </description>
   <member file="aei/schutz"/>
   <member file="aei/kelley"/>
index f6036094ecdc0bd315a8690e0a457e92551f1452..f33f8ea7040a272451460e7a31986ab35e419858 100644 (file)
@@ -3,6 +3,8 @@
 <xsl:stylesheet version="1.0"
                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
+<xsl:param name="current-date" select="'???'"/>
+
 <xsl:template name="head">
   <xsl:param name="path_to_top" select="'.'"/>
   <br />
     <tr>
       <td align="left" valign="top">
         <div class="small">
-          This pages are hosted by the
+          This page is hosted by the
           <a href="http:/www.cs.unibo.it">Department of Computer Science</a>,
           <a href="http://www.unibo.it">University of Bologna</a>.
+         <br />
+         Last updated <b><xsl:value-of select="$current-date"/></b>.
         </div>
       </td>
       <td align="right" valign="top">
index fde85f52de0e07ade3767bbdb5f4cd734302ce6d..9644bfdc47b643fa375b12e6064e799eefdc7474 100644 (file)
     <xsl:call-template name="head">
      <xsl:with-param name="path_to_top" select="'.'"/>
     </xsl:call-template>
-    <h1>Mowgli Events Sorted by Deadlines</h1>
+    <h1>Events</h1>
+    [<a href="events.html">Sorted by event date</a>] [Sorted by deadline]
+    <br /><br />
     <hr />
-    <h1>Events of Interest to MOWGLI Sorted by Deadlines ---
-        <a href="events.html">Sort by events date!</a></h1>
     <ul>
-     <xsl:apply-templates select="events/event/deadline">
-      <xsl:sort select="date" data-type="number"/>
-     </xsl:apply-templates>
+     <xsl:apply-templates select="events/event/deadline"/>
     </ul>
     <xsl:call-template name="foot">
      <xsl:with-param name="path_to_top" select="'.'"/>
@@ -56,3 +54,4 @@
 </xsl:template>
 
 </xsl:stylesheet>
+
index 2ab8231c4614196585b464bb1d683de08c4f970f..8a33e5fc364a6584e9faf7374aff053fe0918948 100644 (file)
     <xsl:call-template name="head">
      <xsl:with-param name="path_to_top" select="'.'"/>
     </xsl:call-template>
-    <h1>Mowgli Events</h1>
+    <h1>Events</h1>
+    [Sorted by event date] [<a href="deadlines.html">Sorted by deadline</a>]
+    <br /><br />
     <hr />
-    <h1>Events of Interest to MOWGLI ---
-        <a href="deadlines.html" target="_top">Sort by deadlines!</a></h1>
     <dl>
-     <xsl:apply-templates select="events/event">
-      <xsl:sort select="when/begin" data-type="number"/>
-     </xsl:apply-templates>
+     <xsl:apply-templates select="events/event"/>
     </dl>
     <xsl:call-template name="foot">
      <xsl:with-param name="path_to_top" select="'.'"/>