| Wed, 13 Mar 2013 22:46:28 +0100 | wenzelm | merged | changeset | files |
| Wed, 13 Mar 2013 21:25:08 +0100 | wenzelm | clarified parallel_subproofs_saturation (blind guess) vs. parallel_subproofs_threshold (precient timing estimate); | changeset | files |
| Wed, 13 Mar 2013 17:15:25 +0100 | wenzelm | proper formatting, to facilitate line-based diff; | changeset | files |
| Wed, 13 Mar 2013 17:13:22 +0100 | wenzelm | more uniform session descriptions, which show up in chapter index; | changeset | files |