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

diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README
index 8a0f0d674..a21142fea 100644
--- a/helm/software/lambda-delta/README
+++ b/helm/software/lambda-delta/README
@@ -4,7 +4,7 @@ Helena 0.8.1 M
 
 * 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
 
-* type "make tgz" to make a tar.gz of the source files
+* type "make test-si-fast" to parse the grundlagen with minimum logging
+
+* type "make clean" to remove the products of compilation