X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FREADME;h=8a0f0d674b407d114dc660b7f324c319347ca99e;hb=d0d4796d61593b8caac5b840ef15773a5c5ca6b1;hp=2f2f894fcdaba5400ee7fcd2f960f57f441d283c;hpb=94c6cfe7e6b833190904c6b546668d716978a812;p=helm.git

diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README
index 2f2f894fc..8a0f0d674 100644
--- a/helm/software/lambda-delta/README
+++ b/helm/software/lambda-delta/README
@@ -1,4 +1,4 @@
-Helena 0.8.0 M
+Helena 0.8.1 M
 
 * type "make" or "make opt" to compile the native executable