]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/README
Syntax for coercion nocomposites fixed.
[helm.git] / helm / software / lambda-delta / README
index cdedd30aa1b1fcade66b37f29c03197ebc904517..a21142fea3e1f84716e183231925d58616edcea0 100644 (file)
@@ -1,10 +1,10 @@
-Helena 0.8.0 M (July 2008)
+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 clean" to remove the products of compilation
 
-* type "make tgz" to make a tar.gz of the source files
+* type "make test-si-fast" to parse the grundlagen with minimum logging
+
+* type "make clean" to remove the products of compilation