| Tue, 22 Feb 2011 21:54:56 +0100 | wenzelm | updated generated file; | changeset | files |
| Tue, 22 Feb 2011 19:44:15 +0100 | wenzelm | scale parallel_proofs_threshold with max_threads_value to improve saturation of cores; | changeset | files |
| Tue, 22 Feb 2011 17:06:14 +0100 | wenzelm | modernized specifications; | changeset | files |