| Mon, 29 Jul 2013 20:46:21 +0200 | wenzelm | NEWS; | changeset | files |
| Mon, 29 Jul 2013 20:38:40 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 29 Jul 2013 20:34:53 +0200 | wenzelm | updated key bindings to execution range; | changeset | files |
| Mon, 29 Jul 2013 19:55:38 +0200 | wenzelm | traverse node on change of "required" state; | changeset | files |
| Mon, 29 Jul 2013 18:59:58 +0200 | wenzelm | keep memo_exec execution running, which is important to cancel goal forks eventually; | changeset | files |
| Mon, 29 Jul 2013 16:52:04 +0200 | wenzelm | maintain explicit execution frontier: avoid conflict with former task via static dependency; | changeset | files |
| 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 |