]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/README
positivity check fixed
[helm.git] / helm / software / lambda-delta / README
1 Helena Checker 0.8.0 M (June 2008)
2
3 * type "make" or "make opt" to compile the native executable
4
5 * type "make test" to parse the grundlagen
6   it generates a log.txt with the grundlagen contents statistics
7   
8 * type "make clean" to remove the products of compilation
9
10 * type "make tgz" to make a tar.gz of the source files