λδ site update

+ ground and documentation

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index 8fd6cd460c66ce25d8db5c8d0b8251496c8454c4..8fcb2d098401b702ff3192c20d22be4103864cb8 100644 (file)
--- 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 8fd6cd460c66ce25d8db5c8d0b8251496c8454c4..8fcb2d098401b702ff3192c20d22be4103864cb8 100644 (file)
--- 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 e8d861ee15325e0046b9e04006dfaef015055315..d7c4d0b5c701f7b9a77d1aff19d3025d3b8079b7 100644 (file)
--- 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 λδ") +
      "(<span class=\"emph delta\">2009-11</span>)." +
-     "In ACM ToCL 11(1), pp. 5:1-5:37 online app. pp. 1-11 (" ^
-     @("http://tocl.acm.org/accepted/335guidi.pdf" "accepted") +
-     "<span class=\"emph delta\">2008-07</span>)." +
+     "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 04202e4f586992662bff4fe673be64b330bd217c..17f49ba03e6113c633aa979b5d327948069d178d 100644 (file)
--- 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") +
-     "(<span class=\"emph gamma\">2020-12</span>)." +
-     "Preprint." + (* Submitted to ACM ToCL. *)
+     "(<span class=\"emph gamma\">2021-05</span>)." +
+     "To appear in ACM ToCL." +
      "CoRR identifier" +
      @("https://arxiv.org/abs/1911.12749" "1911.12749") +
-     "[v3] (revised" +
-     "<span class=\"emph gamma\">2020-12</span>)." +
+     "[v5] (revised" +
+     "<span class=\"emph gamma\">2021-05</span>)." +
      @@("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 6c57ebf6716db4f5438f8c6e01549da9c5f7d040..3646ed0eea6816d4f073c293fd48daadd479ef1e 100644 (file)
--- 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"