Mon, 04 Mar 2013 17:32:10 +0100 | wenzelm | merged | changeset | files |
Mon, 04 Mar 2013 15:03:46 +0100 | wenzelm | refined parallel_proofs = 2: fork whole Isar sub-proofs, not just terminal ones; | changeset | files |
Mon, 04 Mar 2013 11:36:16 +0100 | wenzelm | join all proofs before scheduling present phase (ordered according to weight); | changeset | files |