From: Claudio Sacerdoti Coen Date: Fri, 22 Feb 2002 18:23:32 +0000 (+0000) Subject: * Rendering of publications improved. X-Git-Tag: V_0_3_0_debian_8~278 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d5ce344524c89c9cd85d9162a083a90b406ed8c5;p=helm.git * Rendering of publications improved. * Small typos fixed. * Some clean-up. --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index ed1824750..d19e187ef 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -166,7 +166,7 @@ mowgli-events/kick-off.html: $(XMLROOT)/mowgli-events/kick-off.xml \ $(XSLROOT)/xhtml-content.xsl $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $< -people-list.html: $(XMLROOT)/people/index.xml $(XSLROOT)/person-entry.xsl \ +people-list.html: $(XMLROOT)/people/index.xml \ $(XSLROOT)/people-list.xsl $(XSLTP) -o $@ $(XSLROOT)/people-list.xsl $< diff --git a/helm/mowgli/home/templates/home.html.top b/helm/mowgli/home/templates/home.html.top index 9118ce3d0..ad709f5c8 100644 --- a/helm/mowgli/home/templates/home.html.top +++ b/helm/mowgli/home/templates/home.html.top @@ -51,10 +51,10 @@ 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 + 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 + previous standards for the management and publishing of mathematical documents (MathML, OpenMath, OMDoc), diff --git a/helm/mowgli/home/xsl/common.xsl b/helm/mowgli/home/xsl/common.xsl index f33f8ea70..9381c2d20 100644 --- a/helm/mowgli/home/xsl/common.xsl +++ b/helm/mowgli/home/xsl/common.xsl @@ -51,12 +51,22 @@ + - + - + + + + + + + + . + + diff --git a/helm/mowgli/home/xsl/person-entry.xsl b/helm/mowgli/home/xsl/person-entry.xsl deleted file mode 100644 index 3e22c9311..000000000 --- a/helm/mowgli/home/xsl/person-entry.xsl +++ /dev/null @@ -1,15 +0,0 @@ - - - - - - - - - - - - - - diff --git a/helm/mowgli/home/xsl/person.xsl b/helm/mowgli/home/xsl/person.xsl index 717aeb522..f4ef1e328 100644 --- a/helm/mowgli/home/xsl/person.xsl +++ b/helm/mowgli/home/xsl/person.xsl @@ -117,7 +117,7 @@
  • - +
  • diff --git a/helm/mowgli/home/xsl/publication.xsl b/helm/mowgli/home/xsl/publication.xsl index b00df28c6..868622aed 100644 --- a/helm/mowgli/home/xsl/publication.xsl +++ b/helm/mowgli/home/xsl/publication.xsl @@ -33,7 +33,10 @@ - + + + +