additional commit for version 0.8.2

[helm.git] / helm / software / helena / README

diff --git a/helm/software/helena/README b/helm/software/helena/README
index 0636f455923a9a0411c2a706cf7bf642c06c7b35..ddbd506adbee0e71e97574339880ea21847ab971 100644 (file)
--- a/helm/software/helena/README
+++ b/helm/software/helena/README
@@ -2,9 +2,13 @@ Helena 0.8.2 M
 
 * type "make" or "make opt" to compile the native executable
 
-* type "make test" to validate the "grundlagen" in \lambda\delta "Version 3"
-  it generates log.txt with the grundlagen contents statistics
+* type "make clean" to remove the products of compilation
 
-* type "make test-si-fast" to validate the grundlagen with minimum logging
+- type "make export-coq" to build the "grundlagen" for Coq 8
 
-* type "make clean" to remove the products of compilation
+* type "make profile" to validate the "grundlagen" 31 times
+  it generates etc/profile.txt with sorted execution times
+
+* type "make profile-coq" to run coqc on the "grundlagen" 31 times
+  it generates etc/profile.txt with sorted execution times
+  coqc must be installed on your system