| Mon, 29 Jul 2013 16:01:05 +0200 | wenzelm | afford higher execution priority by default: defer proofs and thus stretch parallelism over whole document; | changeset | files |
| Mon, 29 Jul 2013 15:59:47 +0200 | wenzelm | clarified conditions for node traversal; | changeset | files |
| Mon, 29 Jul 2013 15:20:02 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 29 Jul 2013 15:09:20 +0200 | wenzelm | pro-forma Goal.reset_futures, despite lack of final join/commit; | changeset | files |