From b367de0252e88d6b0476648d5ceac7e4aeffca27 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 29 May 2021 18:56:27 +0200 Subject: [PATCH] =?utf8?q?=CE=BB=CE=B4=20site=20update?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit + ground and documentation --- helm/www/lambdadelta/download/lambdadelta.bib | 13 +++++++++---- helm/www/lambdadelta/download/lambdadelta.txt | 13 +++++++++---- helm/www/lambdadelta/web/home/documentation_1.tbl | 4 +--- helm/www/lambdadelta/web/home/documentation_2.tbl | 8 ++++---- .../contribs/lambdadelta/ground/web/ground_src.tbl | 9 +++++---- 5 files changed, 28 insertions(+), 19 deletions(-) diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib index 8fd6cd460..8fcb2d098 100644 --- a/helm/www/lambdadelta/download/lambdadelta.bib +++ b/helm/www/lambdadelta/download/lambdadelta.bib @@ -26,12 +26,17 @@ % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@misc{lambdadeltaJ2a, +@article{lambdadeltaJ2a, author="Ferruccio {Guidi}", title="{A Formal System for the Universal Quantification of Schematic Variables}", - howpublished="Preprint", - year="2020", - month="December", + journal="Transactions on Computational Logic", + volume="to appear", + number="", + pages="", + publisher="ACM", + address="New York, NY, USA", + year="2021", + month="May", note="CoRR identifier 1911.12749", } diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt index 8fd6cd460..8fcb2d098 100644 --- a/helm/www/lambdadelta/download/lambdadelta.txt +++ b/helm/www/lambdadelta/download/lambdadelta.txt @@ -26,12 +26,17 @@ % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@misc{lambdadeltaJ2a, +@article{lambdadeltaJ2a, author="Ferruccio {Guidi}", title="{A Formal System for the Universal Quantification of Schematic Variables}", - howpublished="Preprint", - year="2020", - month="December", + journal="Transactions on Computational Logic", + volume="to appear", + number="", + pages="", + publisher="ACM", + address="New York, NY, USA", + year="2021", + month="May", note="CoRR identifier 1911.12749", } diff --git a/helm/www/lambdadelta/web/home/documentation_1.tbl b/helm/www/lambdadelta/web/home/documentation_1.tbl index e8d861ee1..d7c4d0b5c 100644 --- a/helm/www/lambdadelta/web/home/documentation_1.tbl +++ b/helm/www/lambdadelta/web/home/documentation_1.tbl @@ -6,9 +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 online app. pp. 1-11 (" ^ - @("http://tocl.acm.org/accepted/335guidi.pdf" "accepted") + - "2008-07)." + + "In ACM ToCL 11(1), pp. 5:1-5:37 online app. pp. 1-11." + "CoRR identifier" + @("http://arxiv.org/abs/cs/0611040" "cs/0611040") + "[v10] (revised" + diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl index 04202e4f5..17f49ba03 100644 --- a/helm/www/lambdadelta/web/home/documentation_2.tbl +++ b/helm/www/lambdadelta/web/home/documentation_2.tbl @@ -5,12 +5,12 @@ table { "F. Guidi:" + @("https://arxiv.org/abs/1911.12749" "A Formal System for the Universal Quantification of Schematic Variables") + - "(2020-12)." + - "Preprint." + (* Submitted to ACM ToCL. *) + "(2021-05)." + + "To appear in ACM ToCL." + "CoRR identifier" + @("https://arxiv.org/abs/1911.12749" "1911.12749") + - "[v3] (revised" + - "2020-12)." + + "[v5] (revised" + + "2021-05)." + @@("html/documentation.html#bibtex" "BibTeX entry") ^ "." * } ] diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl index 6c57ebf67..3646ed0ee 100644 --- a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl +++ b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl @@ -27,6 +27,7 @@ table { [ "fr2_append ( ?@@? )" * ] [ "fr2_plus ( ?+? )" * ] [ "fr2_map ( ◊ ) ( ❨?,?❩;? )" * ] + } ] [ { "generic relocation" * } { [ "gr_sor ( ? ⋓ ? ≘ ? )" "gr_sor_eq" "gr_sor_tls" "gr_sor_isi" "gr_sor_fcla" "gr_sor_isf" "gr_sor_coafter_ist_isf" "gr_sor_sle" "gr_sor_sor" "gr_sor_sor_sle" * ] @@ -52,6 +53,7 @@ table { [ "gr_tl ( ⫱? )" "gr_tl_eq" "gr_tl_eq_eq" * ] [ "gr_eq ( ? ≡ ? )" * ] [ "gr_map ( ⫯? ) ( ↑? )" * ] + } ] (* [ { "" * } { @@ -62,13 +64,12 @@ table { "" "nstream_istot ( ?@❨?❩ )" "nstream_after ( ? ∘ ? )" "nstream_coafter ( ? ~∘ ? )" "nstream_basic" "" * ] -*) -(* [ "trace ( ∥?∥ )" "trace_at ( @❪?,?❫ ≘ ? )" "trace_after ( ? ⊚ ? ≘ ? )" "trace_isid ( 𝐈❪?❫ )" "trace_isun ( 𝐔❪?❫ )" - "trace_sle ( ? ⊆ ? )" "trace_sor ( ? ⋓ ? ≘ ? )" "trace_snot ( ∁ ? )" * ] -*) + "trace_sle ( ? ⊆ ? )" "trace_sor ( ? ⋓ ? ≘ ? )" "trace_snot ( ∁ ? )" + * ] } ] +*) } ] class "grass" -- 2.39.2