From: Ferruccio Guidi Date: Wed, 30 Dec 2015 12:02:25 +0000 (+0000) Subject: site update for helena 0.8.3 X-Git-Tag: make_still_working~667 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d966abb5707d0ce51be932b7bde99d4325d23a0c;p=helm.git site update for helena 0.8.3 --- diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 46a2f63be..d64ee8ae3 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Thu, 10 Dec 2015 16:13:47 +0100
+
Last update: Tue, 29 Dec 2015 22:50:57 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 5dcb73a77..a60c9bbf9 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -19,7 +19,7 @@ [lambdadelta home] -
The Formal System λδ (\lambda\delta)
+
The Formal Systems of the λδ (\lambda\delta) Family
[Spacer]
@@ -389,6 +389,6 @@

-
Last update: Thu, 10 Dec 2015 16:13:46 +0100
+
Last update: Wed, 30 Dec 2015 12:08:04 +0100
diff --git a/helm/www/lambdadelta/download/helena_0.8.3.tar.gz b/helm/www/lambdadelta/download/helena_0.8.3.tar.gz new file mode 100644 index 000000000..87ac1c2b3 Binary files /dev/null and b/helm/www/lambdadelta/download/helena_0.8.3.tar.gz differ diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 5e96f04b4..205e37de7 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -275,6 +275,6 @@

-
Last update: Thu, 10 Dec 2015 16:13:47 +0100
+
Last update: Tue, 29 Dec 2015 22:50:57 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 53a82992a..90f3bfd87 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -19,7 +19,7 @@ [lambdadelta home] -
The Formal System λδ (\lambda\delta)
+
The Formal Systems of the λδ (\lambda\delta) Family
[Spacer]
@@ -108,7 +108,7 @@ [Crux logo] λδ Digital Library (LDDL)
The λδ Digital Library is part of HELM - and contains resources expressed in λδ. + and contains resources expressed in the systems of the λδ family.