| Thu, 14 Mar 2013 14:14:58 +0100 | wenzelm | more robust Par_Exn.make, especially relevant for SML/NJ trying to use Par_Exn.release_all; | changeset | files |
| Thu, 14 Mar 2013 13:57:44 +0100 | wenzelm | proper use of "member", without embarking on delicate questions about SML equality types; | changeset | files |
| Thu, 14 Mar 2013 13:52:22 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Thu, 14 Mar 2013 10:51:28 +0100 | nipkow | tuned | changeset | files |
| 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 |