]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/README
Initial version of the Helena Checker
[helm.git] / helm / software / lambda-delta / README
diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README
new file mode 100644 (file)
index 0000000..91e9360
--- /dev/null
@@ -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