From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 3 Jul 2009 18:29:06 +0000 (+0000)
Subject: some corrections
X-Git-Tag: make_still_working~3750
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fabb66973d4f72394eb6d91b06b4916e63204aba;hp=ca9fe133125cb84c5223029995cb72e973a2d695;p=helm.git

some corrections
---

diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README
index 8087dec9d..cdedd30aa 100644
--- a/helm/software/lambda-delta/README
+++ b/helm/software/lambda-delta/README
@@ -1,4 +1,4 @@
-Helena Checker 0.8.0 M (June 2008)
+Helena 0.8.0 M (July 2008)
 
 * type "make" or "make opt" to compile the native executable