| Wed, 02 Jun 2010 15:35:13 +0200 | haftmann | modernized | changeset | files |
| Wed, 02 Jun 2010 16:42:58 +0200 | wenzelm | removed obsolete usedir -p 1 option; | changeset | files |
| 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 |
| Wed, 02 Jun 2010 11:53:17 +0200 | blanchet | merged | changeset | files |
| Wed, 02 Jun 2010 10:51:55 +0200 | blanchet | merge | changeset | files |
| Wed, 02 Jun 2010 10:50:53 +0200 | blanchet | fix parameter settings | changeset | files |
| Tue, 01 Jun 2010 20:52:01 +0200 | blanchet | merged | changeset | files |
| Tue, 01 Jun 2010 17:52:19 +0200 | blanchet | merged | changeset | files |