| Wed, 02 Jun 2010 15:38:27 +0200 | wenzelm | actually test smlnj; | changeset | files |
| Wed, 02 Jun 2010 15:36:24 +0200 | wenzelm | updated keywords; | changeset | files |
| Wed, 02 Jun 2010 14:55:37 +0200 | wenzelm | Added tag isa2009-2-test0 for changeset 935c75359742 | changeset | files |
| Wed, 02 Jun 2010 14:38:39 +0200 | wenzelm | more CONTRIBUTORS; | changeset | files |
| Wed, 02 Jun 2010 13:18:48 +0200 | wenzelm | merged | changeset | files |
| Wed, 02 Jun 2010 13:18:21 +0200 | wenzelm | Hilbert_Classical: disable multithreading altogether, otherwise proof normalization will fork futures independently of Goal.parallel_proofs; | changeset | files |
| Wed, 02 Jun 2010 12:40:25 +0200 | nipkow | merged | changeset | files |
| Wed, 02 Jun 2010 12:40:12 +0200 | nipkow | added lemmas | changeset | files |