]> matita.cs.unibo.it Git - helm.git/blob - helm/software/helena/README
last commit for helena 0.8.2
[helm.git] / helm / software / helena / README
1 Helena 0.8.2 M
2
3 * type "make" or "make opt" to compile the native executable
4
5 * type "make test" to validate the "grundlagen" in \lambda\delta "Version 3"
6   it generates log.txt with the grundlagen contents statistics
7
8 * type "make test-si-fast" to validate the grundlagen with minimum logging
9
10 * type "make clean" to remove the products of compilation