]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/README
refactoring ...
[helm.git] / helm / software / lambda-delta / README
diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README
deleted file mode 100644 (file)
index a21142f..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
-Helena 0.8.1 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-si-fast" to parse the grundlagen with minimum logging
-
-* type "make clean" to remove the products of compilation