From 3bc362ecbf3992bdfc744e21aea83064311103c4 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 13 Dec 2012 16:00:39 +0000 Subject: [PATCH] - we added delimiters to the URL in lambdadelta1 --- helm/www/lambdadelta/download/lambdadelta.bib | 2 +- helm/www/lambdadelta/download/lambdadelta.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib index a40adeb41..5b5eb1d97 100644 --- a/helm/www/lambdadelta/download/lambdadelta.bib +++ b/helm/www/lambdadelta/download/lambdadelta.bib @@ -74,5 +74,5 @@ howpublished="Formal specification with the proof assistant Coq 7.3.1", year="2006", month="November", - note="Available at the $\lambda\delta$ Web site: {http://lambdadelta.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 a40adeb41..5b5eb1d97 100644 --- a/helm/www/lambdadelta/download/lambdadelta.txt +++ b/helm/www/lambdadelta/download/lambdadelta.txt @@ -74,5 +74,5 @@ howpublished="Formal specification with the proof assistant Coq 7.3.1", year="2006", month="November", - note="Available at the $\lambda\delta$ Web site: {http://lambdadelta.info/}" + note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" } -- 2.39.2