From 4acff8cfcb386eb68cfe02323cc155e7be2136bc Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 2 Sep 2015 16:05:37 +0000 Subject: [PATCH] last commit completed :) --- helm/www/lambdadelta/documentation.html | 4 ++-- helm/www/lambdadelta/web/home/documentation.ldw.xml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 61c482d6f..55b51da2d 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -110,7 +110,7 @@ lambdadelta.bib, view lambdadelta.txt - (revised 2015-08). + (revised 2015-09).
[spacer] λδ version 3 (proposed)
@@ -389,6 +389,6 @@

-
Last update: Wed, 02 Sep 2015 17:59:06 +0200
+
Last update: Wed, 02 Sep 2015 18:04:59 +0200
diff --git a/helm/www/lambdadelta/web/home/documentation.ldw.xml b/helm/www/lambdadelta/web/home/documentation.ldw.xml index 6df66c278..840d678ee 100644 --- a/helm/www/lambdadelta/web/home/documentation.ldw.xml +++ b/helm/www/lambdadelta/web/home/documentation.ldw.xml @@ -14,7 +14,7 @@ lambdadelta.bib, lambdadelta.txt - (revised ). + (revised ). λδ version 3 (proposed) -- 2.39.2