From: Claudio Sacerdoti Coen Date: Wed, 13 Feb 2002 17:58:16 +0000 (+0000) Subject: Bug fixed: the top directory has a different (relative) path depending on X-Git-Tag: V_0_3_0_debian_8~326 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=39caf4cd040fa20ad786c13dda8127c46a9ed245;p=helm.git Bug fixed: the top directory has a different (relative) path depending on the file directory. --- diff --git a/helm/mowgli/home/xsl/common.xsl b/helm/mowgli/home/xsl/common.xsl index da0c1b01a..1810935bf 100644 --- a/helm/mowgli/home/xsl/common.xsl +++ b/helm/mowgli/home/xsl/common.xsl @@ -4,9 +4,10 @@ xmlns:xsl="http://www.w3.org/1999/XSL/Transform"> +
- MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces + MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces
diff --git a/helm/mowgli/home/xsl/consortium.xsl b/helm/mowgli/home/xsl/consortium.xsl index 291eaaa9f..01323e176 100644 --- a/helm/mowgli/home/xsl/consortium.xsl +++ b/helm/mowgli/home/xsl/consortium.xsl @@ -16,7 +16,9 @@
- + + +
diff --git a/helm/mowgli/home/xsl/deliverable.xsl b/helm/mowgli/home/xsl/deliverable.xsl index 221ec922e..acd3d7323 100644 --- a/helm/mowgli/home/xsl/deliverable.xsl +++ b/helm/mowgli/home/xsl/deliverable.xsl @@ -20,7 +20,9 @@
- + + +
diff --git a/helm/mowgli/home/xsl/news.xsl b/helm/mowgli/home/xsl/news.xsl index 5c0d0d7e7..62d51c255 100644 --- a/helm/mowgli/home/xsl/news.xsl +++ b/helm/mowgli/home/xsl/news.xsl @@ -16,7 +16,9 @@
- + + +

News Archive

diff --git a/helm/mowgli/home/xsl/person.xsl b/helm/mowgli/home/xsl/person.xsl index f632a9a4d..9cecd5c38 100644 --- a/helm/mowgli/home/xsl/person.xsl +++ b/helm/mowgli/home/xsl/person.xsl @@ -25,7 +25,9 @@
- + + +
diff --git a/helm/mowgli/home/xsl/project.xsl b/helm/mowgli/home/xsl/project.xsl index 1df016bf2..96288d74a 100644 --- a/helm/mowgli/home/xsl/project.xsl +++ b/helm/mowgli/home/xsl/project.xsl @@ -16,7 +16,9 @@
- + + +
diff --git a/helm/mowgli/home/xsl/publication.xsl b/helm/mowgli/home/xsl/publication.xsl index 0e1ef35fe..e06a856fc 100644 --- a/helm/mowgli/home/xsl/publication.xsl +++ b/helm/mowgli/home/xsl/publication.xsl @@ -16,7 +16,9 @@
- + + +
diff --git a/helm/mowgli/home/xsl/site.xsl b/helm/mowgli/home/xsl/site.xsl index 9aa0ecd2f..1046a8f05 100644 --- a/helm/mowgli/home/xsl/site.xsl +++ b/helm/mowgli/home/xsl/site.xsl @@ -16,7 +16,9 @@
- + + +
diff --git a/helm/mowgli/home/xsl/work-package.xsl b/helm/mowgli/home/xsl/work-package.xsl index 50cfff268..bb0751d33 100644 --- a/helm/mowgli/home/xsl/work-package.xsl +++ b/helm/mowgli/home/xsl/work-package.xsl @@ -21,7 +21,9 @@
- + + +
diff --git a/helm/mowgli/home/xsl/work-packages_index.xsl b/helm/mowgli/home/xsl/work-packages_index.xsl index dbe56c09e..e57ff7b8e 100644 --- a/helm/mowgli/home/xsl/work-packages_index.xsl +++ b/helm/mowgli/home/xsl/work-packages_index.xsl @@ -16,7 +16,9 @@
- + + +