Wed, 02 Jun 2010 11:09:26 +0200 | wenzelm | 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); | changeset | files |
Wed, 02 Jun 2010 08:01:45 +0200 | haftmann | merged | changeset | files |
Tue, 01 Jun 2010 17:25:00 +0200 | haftmann | avoid store flag in add_* operations | changeset | files |