| Mon, 20 Jul 2009 00:37:39 +0200 | wenzelm | Proof.future_proof: declare all assumptions as well; | changeset | files |
| Sun, 19 Jul 2009 19:24:04 +0200 | wenzelm | parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs; | changeset | files |
| Sun, 19 Jul 2009 19:20:17 +0200 | wenzelm | cancel_proofs: some attempts at reworking group management (based on body promises only); | changeset | files |
| Sun, 19 Jul 2009 18:42:05 +0200 | wenzelm | support for arbitrarity nested future proofs -- replaced crude order by explicit normalization (which might loop for bad dependencies); | changeset | files |
| Sun, 19 Jul 2009 18:02:40 +0200 | wenzelm | more abstract Future.is_worker; | changeset | files |
| Sun, 19 Jul 2009 17:08:34 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 19 Jul 2009 14:15:47 +0200 | wenzelm | future_result: explicitly impose Variable.sorts_of again; | changeset | files |