minor site update

[helm.git] / helm / www / lambdadelta / index.html

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 5e90c6e5f2f7363c5762fecd840c2e2ceced93fb..b50cbda3c6884c9dec0c6645732ef6b3ad4507d6 100644 (file)
--- 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>