| 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 |
| Wed, 13 Mar 2013 17:06:45 +0100 | wenzelm | proper index for HOL-Proofs, which is also in chapter "HOL"; | changeset | files |
| Wed, 13 Mar 2013 16:57:05 +0100 | wenzelm | include only README.html, not historic README, which tends towards surprises like src/HOL/SPARK/Examples/README; | changeset | files |
| Wed, 13 Mar 2013 16:04:16 +0100 | wenzelm | more accurate handling of global browser info at the very end (without races), subject to no_build and info.browser_info; | changeset | files |