the dehyphenation update continues ...

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index f6df7f8614e896498c7233c792149c9c18d9ef1d..4a2c151f32e64c9cc7d23b57885f661ac973a6cd 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.bib
+++ b/helm/www/lambdadelta/download/lambdadelta.bib
@@ -70,9 +70,9 @@
 
 @misc{lambdadelta1,
    author="F. {Guidi}",
-   title="{lambda\_delta\_1}",
+   title="{lambdadelta\_1}",
    howpublished="Formal specification with the proof assistant Coq 7.3.1",
    year="2007",
    month="January",
-   note="Available at the lambda\_delta Web site: {http://lambda-delta.info/}"
+   note="Available at the $\lambda\delta$ Web site: {http://lambdadelta.info/}"
 }

diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt
index f6df7f8614e896498c7233c792149c9c18d9ef1d..4a2c151f32e64c9cc7d23b57885f661ac973a6cd 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.txt
+++ b/helm/www/lambdadelta/download/lambdadelta.txt
@@ -70,9 +70,9 @@
 
 @misc{lambdadelta1,
    author="F. {Guidi}",
-   title="{lambda\_delta\_1}",
+   title="{lambdadelta\_1}",
    howpublished="Formal specification with the proof assistant Coq 7.3.1",
    year="2007",
    month="January",
-   note="Available at the lambda\_delta Web site: {http://lambda-delta.info/}"
+   note="Available at the $\lambda\delta$ Web site: {http://lambdadelta.info/}"
 }

diff --git a/helm/www/lambdadelta/images/basic_32.png b/helm/www/lambdadelta/images/basic_32.png
index 350f6bcb064467398060e29a75acc9ea2b37fc13..bfbc8634c9a8b5c840939c326c2578f6f354c790 100644 (file)
Binary files a/helm/www/lambdadelta/images/basic_32.png and b/helm/www/lambdadelta/images/basic_32.png differ