bugfix in one of the new colors :)

[helm.git] / helm / www / lambda_delta / download / lambda_delta.txt

diff --git a/helm/www/lambda_delta/download/lambda_delta.txt b/helm/www/lambda_delta/download/lambda_delta.txt
index 26c994a964bb9cca495ecf9d8381a98e4d5ddfbd..f6df7f8614e896498c7233c792149c9c18d9ef1d 100644 (file)
--- a/helm/www/lambda_delta/download/lambda_delta.txt
+++ b/helm/www/lambda_delta/download/lambda_delta.txt
@@ -70,9 +70,9 @@
 
 @misc{lambdadelta1,
    author="F. {Guidi}",
-   title="{lambda-delta}",
-   howpublished="Formal specification with the proof assistant \textsc{coq} 7.3.1",
+   title="{lambda\_delta\_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://helm.cs.unibo.it/lambda-delta/}"
+   note="Available at the lambda\_delta Web site: {http://lambda-delta.info/}"
 }