]> matita.cs.unibo.it Git - helm.git/commitdiff
minor site update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 12 Sep 2015 21:00:04 +0000 (21:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 12 Sep 2015 21:00:04 +0000 (21:00 +0000)
helm/www/lambdadelta/basic_1.html
helm/www/lambdadelta/documentation.html
helm/www/lambdadelta/ground_1.html
helm/www/lambdadelta/implementation.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/news.html
helm/www/lambdadelta/specification.html
helm/www/lambdadelta/web/home/documentation_2.tbl
helm/www/lambdadelta/web/home/index.ldw.xml

index 11f51732e1b393d1b8e73195b0a70af6564008f2..174a3b9e8e1d10b709a2ed4169dc1b83f8b96777 100644 (file)
     <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>
index 578e2cb36f60fe8ff5f4db61a3c4180923153305..852ff86fb21201701ed9ffdd2b15b0c26b4882c0 100644 (file)
             <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" />
     <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>
index d9a39ec9af8eae8ba6c2d83d37d3d82215611643..3c3eb39072153c62be24e4c686dae440b9818bb7 100644 (file)
     <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>
index c9a4d0da6292132caf4e2f431691d6b122533a7e..76b621b88125ec4c2dbb49afc313e95944f914c8 100644 (file)
     <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>
index 5e90c6e5f2f7363c5762fecd840c2e2ceced93fb..b50cbda3c6884c9dec0c6645732ef6b3ad4507d6 100644 (file)
     </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">
     <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>
index 045ee7a0c962eb862ef93563d31d0f621ffd5ace..7533f479bf8377b91892d93b9b95d6a7841d4210 100644 (file)
     <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>
index afaa9c01fe1247df92326c899a739247f1dfc8f0..3d08be171c67c0e429c74b93847871aff17e4258 100644 (file)
     <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>
index 9a6be192d5aee37bd23294d267609e3cb584fc44..5d9e1e97d9f081046ca3704981d4f15a4d897a5a 100644 (file)
@@ -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>" "" } {
index 7f07c502b78e68e7035c46ea78db6cc1e8ab1248..fce197c427308d40ac572bc1323b49f4a564fabd 100644 (file)
@@ -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>