wenzelm [Wed, 02 Jun 2010 14:55:37 +0200] rev 37283
Added tag isa2009-2-test0 for changeset 935c75359742
wenzelm [Wed, 02 Jun 2010 14:38:39 +0200] rev 37282
more CONTRIBUTORS;
wenzelm [Wed, 02 Jun 2010 13:18:48 +0200] rev 37281
merged
wenzelm [Wed, 02 Jun 2010 13:18:21 +0200] rev 37280
Hilbert_Classical: disable multithreading altogether, otherwise proof normalization will fork futures independently of Goal.parallel_proofs;
wenzelm [Wed, 02 Jun 2010 11:09:26 +0200] rev 37279
normalize and postprocess proof body in a separate future, taking care of platforms without multithreading (greately improves parallelization in general without the overhead of promised proofs, cf. usedir -q 0);
nipkow [Wed, 02 Jun 2010 12:40:25 +0200] rev 37278
merged
nipkow [Wed, 02 Jun 2010 12:40:12 +0200] rev 37277
added lemmas
blanchet [Wed, 02 Jun 2010 11:53:17 +0200] rev 37276
merged
blanchet [Wed, 02 Jun 2010 10:51:55 +0200] rev 37275
merge
blanchet [Wed, 02 Jun 2010 10:50:53 +0200] rev 37274
fix parameter settings