From 15455aa487e001c643b4f46daf82612b8409f1ae Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 6 Mar 2015 17:05:20 +0000 Subject: [PATCH] updated bibliography for text J1 --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 2 +- helm/www/lambdadelta/basic_1.html | 2 +- helm/www/lambdadelta/basic_2.html | 2 +- helm/www/lambdadelta/documentation.html | 4 ++-- helm/www/lambdadelta/download/lambdadelta.bib | 10 +++++----- helm/www/lambdadelta/download/lambdadelta.txt | 10 +++++----- helm/www/lambdadelta/ground_1.html | 2 +- helm/www/lambdadelta/ground_2.html | 2 +- helm/www/lambdadelta/implementation.html | 2 +- helm/www/lambdadelta/index.html | 2 +- helm/www/lambdadelta/news.html | 2 +- helm/www/lambdadelta/specification.html | 2 +- helm/www/lambdadelta/web/home/documentation_1.tbl | 2 +- 14 files changed, 23 insertions(+), 23 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index b84be907c..348231c61 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:25 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index f169633b0..4b2f19c27 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:24 +0100
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 87daf7e41..3ca64b57c 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:25 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index d41e116cf..3ab92f7d0 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -1384,6 +1384,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:24 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 2b367888d..276f568ad 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -243,7 +243,7 @@ J1. - F. Guidi: The Formal System λδ (2009-11). In ACM ToCL 11(1), pp. 5:1-5:37 (accepted + F. Guidi: The Formal System λδ (2009-11). In ACM ToCL 11(1), pp. 5:1-5:37 online app. pp. 1-11 (accepted 2008-07). CoRR identifier cs/0611040 [v10] (revised 2008-09). BibTeX entry. @@ -389,6 +389,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:24 +0100
diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib index 080080f38..43adfd99d 100644 --- a/helm/www/lambdadelta/download/lambdadelta.bib +++ b/helm/www/lambdadelta/download/lambdadelta.bib @@ -5,7 +5,7 @@ title="{A Verified Translation of Landau's `Grundlagen'' from Automath into a Pure Type System, via $\lambda\delta$}", year="2015", month="February", - note="Submitted to JFR, University of Bologna" + note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)" } % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -16,7 +16,7 @@ howpublished="CoRR identifier 1411.0154", year="2014", month="November", - note="Submitted to ACM ToCL" + note="Submitted to ACM ToCL (available at $<$http://lambdadelta.info/$>$)" } @misc{lambdadeltaV2, @@ -25,7 +25,7 @@ howpublished="Formal specification for the proof assistant Matita 0.99.2", year="2014", month="October", - note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" + note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" } @incollection{lambdadeltaR2b, @@ -59,7 +59,7 @@ journal="Transactions on Computational Logic", volume="11", number="1", - pages="5:1-5:37", + pages="5:1-5:37, online appendix 1-11", publisher="ACM", address="New York, NY, USA", year="2009", @@ -106,5 +106,5 @@ howpublished="Formal specification for 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 $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" } diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt index 080080f38..43adfd99d 100644 --- a/helm/www/lambdadelta/download/lambdadelta.txt +++ b/helm/www/lambdadelta/download/lambdadelta.txt @@ -5,7 +5,7 @@ title="{A Verified Translation of Landau's `Grundlagen'' from Automath into a Pure Type System, via $\lambda\delta$}", year="2015", month="February", - note="Submitted to JFR, University of Bologna" + note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)" } % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -16,7 +16,7 @@ howpublished="CoRR identifier 1411.0154", year="2014", month="November", - note="Submitted to ACM ToCL" + note="Submitted to ACM ToCL (available at $<$http://lambdadelta.info/$>$)" } @misc{lambdadeltaV2, @@ -25,7 +25,7 @@ howpublished="Formal specification for the proof assistant Matita 0.99.2", year="2014", month="October", - note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" + note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" } @incollection{lambdadeltaR2b, @@ -59,7 +59,7 @@ journal="Transactions on Computational Logic", volume="11", number="1", - pages="5:1-5:37", + pages="5:1-5:37, online appendix 1-11", publisher="ACM", address="New York, NY, USA", year="2009", @@ -106,5 +106,5 @@ howpublished="Formal specification for 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 $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" } diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index a9f2cf2bf..d0d97a9e1 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -275,6 +275,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:25 +0100
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index a8f176a5a..08790c17e 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -328,6 +328,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:24 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 6e429e20d..a0d1b7ce4 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -269,6 +269,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:24 +0100
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 047fffc78..f5932556b 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -202,6 +202,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:24 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 267710b06..f9de6ec95 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -354,6 +354,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:24 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 08d1f256e..412740783 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -328,6 +328,6 @@

-
Last update: Fri, 06 Mar 2015 16:17:54 +0100
+
Last update: Fri, 06 Mar 2015 17:53:24 +0100
diff --git a/helm/www/lambdadelta/web/home/documentation_1.tbl b/helm/www/lambdadelta/web/home/documentation_1.tbl index 65ba89668..c9ae8fa27 100644 --- a/helm/www/lambdadelta/web/home/documentation_1.tbl +++ b/helm/www/lambdadelta/web/home/documentation_1.tbl @@ -6,7 +6,7 @@ table { @("http://doi.acm.org/10.1145/1614431.1614436" "The Formal System λδ") + "(2009-11)." + - "In ACM ToCL 11(1), pp. 5:1-5:37 (" ^ + "In ACM ToCL 11(1), pp. 5:1-5:37 online app. pp. 1-11 (" ^ @("http://tocl.acm.org/accepted/335guidi.pdf" "accepted") + "2008-07)." + "CoRR identifier" + -- 2.39.2