From: Ferruccio Guidi Date: Fri, 8 Apr 2016 21:30:19 +0000 (+0000) Subject: minor additions :) X-Git-Tag: make_still_working~607 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=049f6a9c248a1638495196e04cf17d30154d5de4 minor additions :) --- diff --git a/helm/www/lambdadelta/images/smiley.png b/helm/www/lambdadelta/images/smiley.png new file mode 100644 index 000000000..10e1131a1 Binary files /dev/null and b/helm/www/lambdadelta/images/smiley.png differ diff --git a/helm/www/lambdadelta/images/smiley.xcf b/helm/www/lambdadelta/images/smiley.xcf new file mode 100644 index 000000000..f3cc6239a Binary files /dev/null and b/helm/www/lambdadelta/images/smiley.xcf differ diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index b9897a412..3b192f364 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -251,8 +251,9 @@
+ [Smiling face] Moreover, the systens of the λδ family are not related intentionally to - the character Lady Lambdadelta, + Lady Lambdadelta, the Witch of Certainty of the sound novel Umineko no Naku Koro ni.
@@ -282,6 +283,6 @@

-
Last update: Fri, 08 Apr 2016 22:51:19 +0200
+
Last update: Fri, 08 Apr 2016 23:26:46 +0200
diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml index 13eab16ba..c5004f36a 100644 --- a/helm/www/lambdadelta/web/home/index.ldw.xml +++ b/helm/www/lambdadelta/web/home/index.ldw.xml @@ -145,8 +145,9 @@ + Moreover, the systens of the λδ family related intentionally to - the character Lady Lambdadelta, + Lady Lambdadelta, the Witch of Certainty of the sound novel Umineko no Naku Koro ni. diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl index ad10ba2eb..f7fcb332e 100644 --- a/helm/www/lambdadelta/xslt/ld_web_library.xsl +++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl @@ -138,6 +138,14 @@ /> + + [Smiling face] + + @@ -163,6 +171,9 @@ + + +