From: Ferruccio Guidi Date: Sun, 2 Dec 2012 18:59:57 +0000 (+0000) Subject: - bugfix in stylesheets X-Git-Tag: make_still_working~1418 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=72ced8ef1347b660fa45437443553ceeea8af57a;p=helm.git - bugfix in stylesheets - lddl data set released --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 3d0d75fbf..d653de732 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -1,6 +1,6 @@ - + @@ -20,6 +20,6 @@
classcontents














p
147101316192225283134374043
q
5111517232933354145




s
268141820242632384244


t
39122127303639






-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-12-02T17:25:27+01:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-12-02T19:55:22+01:00
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index ce05f226b..d165da53d 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -1,6 +1,6 @@ - + @@ -57,6 +57,6 @@
The source files are grouped in directories, one for each component.
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-12-02T17:25:27+01:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-12-02T19:55:22+01:00
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index b7988087c..0198304cd 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -1,6 +1,6 @@ - + @@ -83,6 +83,6 @@
The source files are grouped in directories, one for each component.
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-12-02T17:25:27+01:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-12-02T19:55:22+01:00
diff --git a/helm/www/lambdadelta/download/lddl.tar.bz2 b/helm/www/lambdadelta/download/lddl.tar.bz2 index 0f3262388..06b341d98 100644 Binary files a/helm/www/lambdadelta/download/lddl.tar.bz2 and b/helm/www/lambdadelta/download/lddl.tar.bz2 differ diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl index cfff0d2d7..7c36784c9 100644 --- a/helm/www/lambdadelta/xslt/ld_web_root.xsl +++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl @@ -62,7 +62,7 @@ - + diff --git a/helm/www/lambdadelta/xslt/lddl_root.xsl b/helm/www/lambdadelta/xslt/lddl_root.xsl index 58bddb0a5..f366f6dc4 100644 --- a/helm/www/lambdadelta/xslt/lddl_root.xsl +++ b/helm/www/lambdadelta/xslt/lddl_root.xsl @@ -19,28 +19,28 @@ - + - - lambdadelta digital library (LDDL) + + λδ digital library (LDDL)
[lambdadelta home]
@@ -48,8 +48,8 @@
[Spacer]
@@ -70,19 +70,19 @@ [Generated from XML via XSL] [Powered by Helena lambdadelta processor] [PNG used here]