From ebe0d316f0bd186c4f0f3b1a9107e122d7878bc6 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 14 Dec 2013 22:30:57 +0000 Subject: [PATCH] update in basic_2 completed --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 2 +- helm/www/lambdadelta/basic_2.html | 4 ++-- helm/www/lambdadelta/ground_2.html | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 823ed6e28..4f80b5ab8 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -223,6 +223,6 @@

-
Last update: Sat, 14 Dec 2013 23:22:13 +0100
+
Last update: Sat, 14 Dec 2013 23:30:31 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index f0486d6a1..80babb37e 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -191,6 +191,6 @@

-
Last update: Sat, 14 Dec 2013 23:22:14 +0100
+
Last update: Sat, 14 Dec 2013 23:30:31 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 1d8960187..d90980f25 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -165,7 +165,7 @@ files 307 characters - 488137 + 487792 nodes 1416510 @@ -1254,6 +1254,6 @@

-
Last update: Sat, 14 Dec 2013 23:22:14 +0100
+
Last update: Sat, 14 Dec 2013 23:30:31 +0100
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index b4defc60f..f657b7c2f 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -214,6 +214,6 @@

-
Last update: Sat, 14 Dec 2013 23:22:14 +0100
+
Last update: Sat, 14 Dec 2013 23:30:31 +0100
-- 2.39.2