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

diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README
new file mode 100644
index 000000000..91e936067
--- /dev/null
+++ b/helm/software/lambda-delta/README
@@ -0,0 +1,10 @@
+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
+  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