From 59c3713b93251505ba4e00b2695bffe2dfaf3bc7 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 12 Sep 2015 21:00:04 +0000 Subject: [PATCH] minor site update --- helm/www/lambdadelta/basic_1.html | 2 +- helm/www/lambdadelta/documentation.html | 4 ++-- helm/www/lambdadelta/ground_1.html | 2 +- helm/www/lambdadelta/implementation.html | 2 +- helm/www/lambdadelta/index.html | 6 +++--- helm/www/lambdadelta/news.html | 2 +- helm/www/lambdadelta/specification.html | 2 +- helm/www/lambdadelta/web/home/documentation_2.tbl | 2 +- helm/www/lambdadelta/web/home/index.ldw.xml | 4 ++-- 9 files changed, 13 insertions(+), 13 deletions(-) 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 @@

-
Last update: Sun, 06 Sep 2015 21:40:59 +0200
+
Last update: Sat, 12 Sep 2015 22:57:07 +0200
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 @@ P2c. - F. Guidi: The Formal System λδ and the "Three Problems" (2014-06). Presentation at University of Bologna (slides). + F. Guidi: The Formal System λδ and the "Three Problems" (2014-06). Presentation at University of Bologna, for the 10th anniversary of λδ (slides). @@ -389,6 +389,6 @@

-
Last update: Sun, 06 Sep 2015 21:40:57 +0200
+
Last update: Sat, 12 Sep 2015 22:57:07 +0200
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 @@

-
Last update: Sun, 06 Sep 2015 21:40:58 +0200
+
Last update: Sat, 12 Sep 2015 22:57:07 +0200
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 @@

-
Last update: Sun, 06 Sep 2015 21:40:58 +0200
+
Last update: Sat, 12 Sep 2015 22:57:07 +0200
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 @@
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 Minimal Type Theory + the foundational frameworks for Mathematics that require an underlying specification language + (for example the Minimalist Foundation and its predecessors).
@@ -202,6 +202,6 @@

-
Last update: Sun, 06 Sep 2015 21:40:58 +0200
+
Last update: Sat, 12 Sep 2015 22:57:07 +0200
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 @@

-
Last update: Sun, 06 Sep 2015 21:40:57 +0200
+
Last update: Sat, 12 Sep 2015 22:57:07 +0200
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 @@

-
Last update: Sun, 06 Sep 2015 21:40:58 +0200
+
Last update: Sat, 12 Sep 2015 22:57:07 +0200
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\"") + "(2014-06)." + - "Presentation at University of Bologna (slides)." + "Presentation at University of Bologna, for the 10th anniversary of λδ (slides)." * } ] [ { name "ldP2b" "P2b." "" } { 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 @@ Foreword 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 Minimal Type Theory + the foundational frameworks for Mathematics that require an underlying specification language + (for example the Minimalist Foundation and its predecessors). -- 2.39.2