X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FREADME;h=2f2f894fcdaba5400ee7fcd2f960f57f441d283c;hb=de66af7241ad8ab71d5857d14570e4662f2488dc;hp=8087dec9dd1e28460ed1ab260a5a5e39eee65ba8;hpb=2b821e608cc1fceebc13e85867a244fe02edf71e;p=helm.git

diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README
index 8087dec9d..2f2f894fc 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
 
 * type "make" or "make opt" to compile the native executable