From: Ferruccio Guidi Date: Mon, 7 Dec 2020 22:39:56 +0000 (+0100) Subject: λδ web site update X-Git-Tag: make_still_working~172 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=48960c13bc55f37499872feb426ed2c5da4333f0;p=helm.git λδ web site update + documentation updated --- diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib index b5dc547dc..8fd6cd460 100644 --- a/helm/www/lambdadelta/download/lambdadelta.bib +++ b/helm/www/lambdadelta/download/lambdadelta.bib @@ -28,10 +28,10 @@ @misc{lambdadeltaJ2a, author="Ferruccio {Guidi}", - title="{Two Formal Systems of the $\lambda\delta$ Family Revised}", + title="{A Formal System for the Universal Quantification of Schematic Variables}", howpublished="Preprint", - year="2019", - month="November", + year="2020", + month="December", note="CoRR identifier 1911.12749", } @@ -39,8 +39,8 @@ author="Ferruccio {Guidi}", title="{lambdadelta\_2B}", howpublished="Formal specification for the interactive prover Matita 0.99.4", - year="2019", - month="November", + year="2020", + month="October", note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$" } diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt index b5dc547dc..8fd6cd460 100644 --- a/helm/www/lambdadelta/download/lambdadelta.txt +++ b/helm/www/lambdadelta/download/lambdadelta.txt @@ -28,10 +28,10 @@ @misc{lambdadeltaJ2a, author="Ferruccio {Guidi}", - title="{Two Formal Systems of the $\lambda\delta$ Family Revised}", + title="{A Formal System for the Universal Quantification of Schematic Variables}", howpublished="Preprint", - year="2019", - month="November", + year="2020", + month="December", note="CoRR identifier 1911.12749", } @@ -39,8 +39,8 @@ author="Ferruccio {Guidi}", title="{lambdadelta\_2B}", howpublished="Formal specification for the interactive prover Matita 0.99.4", - year="2019", - month="November", + year="2020", + month="October", note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$" } diff --git a/helm/www/lambdadelta/web/home/documentation.ldw.xml b/helm/www/lambdadelta/web/home/documentation.ldw.xml index 13f9f92eb..c52aa3931 100644 --- a/helm/www/lambdadelta/web/home/documentation.ldw.xml +++ b/helm/www/lambdadelta/web/home/documentation.ldw.xml @@ -15,7 +15,7 @@ lambdadelta.bib, lambdadelta.txt - (revised ). + (revised ). λδ version 3 (proposed) diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl index 703ceebb1..04202e4f5 100644 --- a/helm/www/lambdadelta/web/home/documentation_2.tbl +++ b/helm/www/lambdadelta/web/home/documentation_2.tbl @@ -4,13 +4,13 @@ table { [ { name "ldJ2a" "J2a." "" } { "F. Guidi:" + @("https://arxiv.org/abs/1911.12749" - "Two Formal Systems of the λδ Family Revised") + - "(2019-11)." + + "A Formal System for the Universal Quantification of Schematic Variables") + + "(2020-12)." + "Preprint." + (* Submitted to ACM ToCL. *) "CoRR identifier" + @("https://arxiv.org/abs/1911.12749" "1911.12749") + - "[v1] (revised" + - "2019-11)." + + "[v3] (revised" + + "2020-12)." + @@("html/documentation.html#bibtex" "BibTeX entry") ^ "." * } ]