From 69df1b28ba8f91fec33d8d13da8bb822275026e1 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 2 Dec 2012 12:47:44 +0000
Subject: [PATCH] the dehyphenation update continues ...

---
 helm/www/lambdadelta/download/lambdadelta.bib |   4 ++--
 helm/www/lambdadelta/download/lambdadelta.txt |   4 ++--
 helm/www/lambdadelta/images/basic_32.png      | Bin 587 -> 588 bytes
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index f6df7f861..4a2c151f3 100644
--- 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 f6df7f861..4a2c151f3 100644
--- 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
GIT binary patch
delta 60
zcmX@ja)xC>oZ%fFCLUe$@R-nF3=9m?C9V-A&iT2ysd*&~Nr}ao$qF$!iMdHBi7_du
QIVFkNzGZ0}`}Q&d0A|e<WB>pF

delta 59
zcmX@Za++mAoWV^Fab7cn#cm(97#J9&N?apKobz*YQ}ap~oDz#OlNE9jbCXgMbyHGv
PN)o+U41+iJ?_~r4OkflW

-- 
2.39.2