X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FREADME;h=2f2f894fcdaba5400ee7fcd2f960f57f441d283c;hb=ae52a8447fbe67847eba356d26b568d637c90652;hp=cdedd30aa1b1fcade66b37f29c03197ebc904517;hpb=fabb66973d4f72394eb6d91b06b4916e63204aba;p=helm.git diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README index cdedd30aa..2f2f894fc 100644 --- a/helm/software/lambda-delta/README +++ b/helm/software/lambda-delta/README @@ -1,4 +1,4 @@ -Helena 0.8.0 M (July 2008) +Helena 0.8.0 M * type "make" or "make opt" to compile the native executable