Thu, 21 Feb 2013 16:00:48 +0100 | wenzelm | merged | changeset | files |
Thu, 21 Feb 2013 15:35:09 +0100 | wenzelm | removed obsolete tags; | changeset | files |
Thu, 21 Feb 2013 10:52:14 +0100 | wenzelm | highest priority for proofs with unknown / very short timing -- recover original scheduling with parallel_proofs_reuse_timing = false; | changeset | files |