From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 12 Sep 2015 21:00:04 +0000 (+0000)
Subject: minor site update
X-Git-Tag: make_still_working~693
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=59c3713b93251505ba4e00b2695bffe2dfaf3bc7;p=helm.git

minor site update
---

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 11f51732e..174a3b9e8 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: Sun, 06 Sep 2015 21:40:59 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 12 Sep 2015 22:57:07 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 578e2cb36..852ff86fb 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -183,7 +183,7 @@
             <td class="snns top" id="ldP2c">
               <span class="emph alpha">P2c.</span>
             </td>
-            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/ld_talk_8s.pdf">The Formal System λδ and the "Three Problems"</a> (<span class="emph beta">2014-06</span>). Presentation at University of Bologna (slides).</td>
+            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/ld_talk_8s.pdf">The Formal System λδ and the "Three Problems"</a> (<span class="emph beta">2014-06</span>). Presentation at University of Bologna, for the 10th anniversary of λδ (slides).</td>
           </tr>
           <tr>
             <td class="nnns 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: Sun, 06 Sep 2015 21:40:57 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 12 Sep 2015 22:57:07 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index d9a39ec9a..3c3eb3907 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: Sun, 06 Sep 2015 21:40:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 12 Sep 2015 22:57:07 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index c9a4d0da6..76b621b88 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: Sun, 06 Sep 2015 21:40:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 12 Sep 2015 22:57:07 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 5e90c6e5f..b50cbda3c 100644
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -106,8 +106,8 @@
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal system λδ (\lambda\delta) is a typed λ-calculus aiming to support
-      the foundations of Mathematics that require an underlying specification language
-      (for example the <a href="http://www.math.unipd.it/~maietti/">Minimal Type Theory</a>
+      the foundational frameworks for Mathematics that require an underlying specification language
+      (for example the <a href="http://www.math.unipd.it/~maietti/">Minimalist Foundation</a>
        and its predecessors).
    </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
@@ -202,6 +202,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Sep 2015 21:40:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 12 Sep 2015 22:57:07 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 045ee7a0c..7533f479b 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: Sun, 06 Sep 2015 21:40:57 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 12 Sep 2015 22:57:07 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index afaa9c01f..3d08be171 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: Sun, 06 Sep 2015 21:40:58 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 12 Sep 2015 22:57:07 +0200</div>
   </body>
 </html>
diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl
index 9a6be192d..5d9e1e97d 100644
--- a/helm/www/lambdadelta/web/home/documentation_2.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_2.tbl
@@ -38,7 +38,7 @@ table {
      @@("download/ld_talk_8s.pdf"
      "The Formal System λδ and the \"Three Problems\"") +
      "(<span class=\"emph beta\">2014-06</span>)." +
-     "Presentation at University of Bologna (slides)."
+     "Presentation at University of Bologna, for the 10th anniversary of λδ (slides)."
      * }
    ] 
    [ { name "ldP2b" "<span class=\"emph alpha\">P2b.</span>" "" } {
diff --git a/helm/www/lambdadelta/web/home/index.ldw.xml b/helm/www/lambdadelta/web/home/index.ldw.xml
index 7f07c502b..fce197c42 100644
--- a/helm/www/lambdadelta/web/home/index.ldw.xml
+++ b/helm/www/lambdadelta/web/home/index.ldw.xml
@@ -10,8 +10,8 @@
    <section9 name="foreword">Foreword</section9>
    <body>
       The formal system λδ (\lambda\delta) is a typed λ-calculus aiming to support
-      the foundations of Mathematics that require an underlying specification language
-      (for example the <link to="http://www.math.unipd.it/~maietti/">Minimal Type Theory</link>
+      the foundational frameworks for Mathematics that require an underlying specification language
+      (for example the <link to="http://www.math.unipd.it/~maietti/">Minimalist Foundation</link>
        and its predecessors).
    </body>
    <body>