From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 7 Aug 2015 12:28:18 +0000 (+0000)
Subject: new version of J3a submitted to JFR
X-Git-Tag: make_still_working~704
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b7168bf5d5260960a5600093c4b5024e538d8583;p=helm.git

new version of J3a submitted to JFR
---

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 4e27ff561..203d3f727 100644
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -222,6 +222,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:36 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:48 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index e7b6ace35..32355bdc0 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -258,6 +258,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 22be060a6..37ed9a89b 100644
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 4fb47c1a3..3e8e2787a 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -1384,6 +1384,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 8d424517e..42f7fbe42 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -110,7 +110,7 @@
       <a href="http://lambdadelta.info/download/lambdadelta.bib">lambdadelta.bib</a>,
       <span class="emph alpha">view</span>
       <a href="http://lambdadelta.info/download/lambdadelta.txt">lambdadelta.txt</a>
-      (revised <span class="emph gamma">2015-03</span>).
+      (revised <span class="emph gamma">2015-08</span>).
    </div>
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v3">
       <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
@@ -124,7 +124,7 @@
             <td class="snns top" id="ldJ3a">
               <span class="emph alpha">J3a.</span>
             </td>
-            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/gda.pdf">A Verified Translation of Landau's "Grundlagen" from Automath into a Pure Type System, via λδ</a> (<span class="emph alpha">2015-02</span>). Submitted to JFR, Univerity of Bologna. <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
+            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/gda.pdf">Verified Representations of Landau's "Grundlagen" in λδ and in the Calculus of Constructions</a> (<span class="emph alpha">2015-08</span>). Submitted to JFR, Univerity of Bologna. <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
           </tr>
           <tr>
             <td class="nnss top" />
@@ -389,6 +389,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:24:52 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/download/gda.pdf b/helm/www/lambdadelta/download/gda.pdf
index 70ffdd3b1..3a08c3242 100644
Binary files a/helm/www/lambdadelta/download/gda.pdf and b/helm/www/lambdadelta/download/gda.pdf differ
diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index 43adfd99d..fddba1015 100644
--- a/helm/www/lambdadelta/download/lambdadelta.bib
+++ b/helm/www/lambdadelta/download/lambdadelta.bib
@@ -2,9 +2,9 @@
 
 @misc{lambdadeltaJ3a,
    author="F. {Guidi}",
-   title="{A Verified Translation of Landau's `Grundlagen'' from Automath into a Pure Type System, via $\lambda\delta$}",
+   title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$$ and in the Calculus of Constructions}",
    year="2015",
-   month="February",
+   month="August",
    note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)"
 }
 
diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt
index 43adfd99d..fddba1015 100644
--- a/helm/www/lambdadelta/download/lambdadelta.txt
+++ b/helm/www/lambdadelta/download/lambdadelta.txt
@@ -2,9 +2,9 @@
 
 @misc{lambdadeltaJ3a,
    author="F. {Guidi}",
-   title="{A Verified Translation of Landau's `Grundlagen'' from Automath into a Pure Type System, via $\lambda\delta$}",
+   title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$$ and in the Calculus of Constructions}",
    year="2015",
-   month="February",
+   month="August",
    note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)"
 }
 
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 2af7b79ba..284bfae7c 100644
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -275,6 +275,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 8ade57c70..7e44d22e7 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -328,6 +328,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 3b43f18b0..f67d1f81a 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -269,6 +269,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index ce3e4a3b9..3a46173de 100644
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -202,6 +202,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 212eb91d3..4e7bd9e14 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -354,6 +354,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 5cb1af416..a4bb157b5 100644
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -328,6 +328,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/web/home/documentation.ldw.xml b/helm/www/lambdadelta/web/home/documentation.ldw.xml
index bfcf84527..6df66c278 100644
--- a/helm/www/lambdadelta/web/home/documentation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/documentation.ldw.xml
@@ -14,7 +14,7 @@
       <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
       <notice class="alpha" notice="view"/>
       <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
-      (revised <notice class="gamma" notice="2015-03"/>).
+      (revised <notice class="gamma" notice="2015-08"/>).
    </body>
 
    <subsection name="v3"><version3-icon/>λδ version 3 (proposed)</subsection>
diff --git a/helm/www/lambdadelta/web/home/documentation_3.tbl b/helm/www/lambdadelta/web/home/documentation_3.tbl
index 4df01fc55..cf80e782d 100644
--- a/helm/www/lambdadelta/web/home/documentation_3.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_3.tbl
@@ -4,8 +4,8 @@ table {
    [ { name "ldJ3a" "<span class=\"emph alpha\">J3a.</span>" "" } {
      "F. Guidi:" +
      @@("download/gda.pdf"
-     "A Verified Translation of Landau's \"Grundlagen\" from Automath into a Pure Type System, via λδ") +
-     "(<span class=\"emph alpha\">2015-02</span>)." +
+     "Verified Representations of Landau's \"Grundlagen\" in λδ and in the Calculus of Constructions") +
+     "(<span class=\"emph alpha\">2015-08</span>)." +
      "Submitted to JFR, Univerity of Bologna." +
      @@("documentation.html#bibtex" "BibTeX entry") ^ "."
      * }