X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FREADME;h=2f2f894fcdaba5400ee7fcd2f960f57f441d283c;hb=2dc6ec0db2156431948014a6498c9901f8759e39;hp=91e936067503414a039ff865e85d97c85214e5c8;hpb=9b4286fdc2d88b0d8018e5718ef055804f5cf7ac;p=helm.git

diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README
index 91e936067..2f2f894fc 100644
--- a/helm/software/lambda-delta/README
+++ b/helm/software/lambda-delta/README
@@ -1,8 +1,8 @@
-Helena Checker 0.8.0 M (June 2008)
+Helena 0.8.0 M
 
 * type "make" or "make opt" to compile the native executable
 
-* type "make test" to parse the grundlagen
+* type "make test-si" to parse the grundlagen
   it generates a log.txt with the grundlagen contents statistics
   
 * type "make clean" to remove the products of compilation