we now do some static analysis on the Automath text to possibly clear some language...

[helm.git] / helm / software / lambda-delta / README

diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README
index 91e936067503414a039ff865e85d97c85214e5c8..8087dec9dd1e28460ed1ab260a5a5e39eee65ba8 100644 (file)
--- a/helm/software/lambda-delta/README
+++ b/helm/software/lambda-delta/README
@@ -2,7 +2,7 @@ Helena Checker 0.8.0 M (June 2008)
 
 * 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