X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fhelena%2FREADME;h=0636f455923a9a0411c2a706cf7bf642c06c7b35;hb=433d9c9612c1557e03a549e004c796c1137d4b4a;hp=a21142fea3e1f84716e183231925d58616edcea0;hpb=95872555aaa040a22ad2d93cb1278f79e20da70c;p=helm.git

diff --git a/helm/software/helena/README b/helm/software/helena/README
index a21142fea..0636f4559 100644
--- a/helm/software/helena/README
+++ b/helm/software/helena/README
@@ -1,10 +1,10 @@
-Helena 0.8.1 M
+Helena 0.8.2 M
 
 * type "make" or "make opt" to compile the native executable
 
-* type "make test-si" to parse the grundlagen
-  it generates a log.txt with the grundlagen contents statistics
+* type "make test" to validate the "grundlagen" in \lambda\delta "Version 3"
+  it generates log.txt with the grundlagen contents statistics
 
-* type "make test-si-fast" to parse the grundlagen with minimum logging
+* type "make test-si-fast" to validate the grundlagen with minimum logging
 
 * type "make clean" to remove the products of compilation