From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 2 Dec 2012 12:47:44 +0000 (+0000)
Subject: the dehyphenation update continues ...
X-Git-Tag: make_still_working~1421
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=69df1b28ba8f91fec33d8d13da8bb822275026e1;p=helm.git

the dehyphenation update continues ...
---

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 350f6bcb0..bfbc8634c 100644
Binary files a/helm/www/lambdadelta/images/basic_32.png and b/helm/www/lambdadelta/images/basic_32.png differ