| Fri, 26 Nov 2010 09:15:49 +0100 | blanchet | adjust Sledgehammer/SMT fudge factor | changeset | files |
| Thu, 25 Nov 2010 16:12:23 +0100 | wenzelm | clarified Par_List.managed_results, with explicit propagation of outermost physical interrupt to forked futures (e.g. to make timeout apply here as expected and prevent zombies); | changeset | files |
| Thu, 25 Nov 2010 14:59:01 +0100 | blanchet | merge | changeset | files |