| Fri, 12 Jul 2013 11:28:03 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 12 Jul 2013 11:07:02 +0200 | wenzelm | clarified module name; | changeset | files |
| Thu, 11 Jul 2013 23:24:40 +0200 | wenzelm | more explicit type Exec.context; | changeset | files |
| Thu, 11 Jul 2013 22:53:56 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 11 Jul 2013 18:41:05 +0200 | wenzelm | strictly monotonic Document.update: avoid disruptive cancel_execution, merely discontinue_execution and cancel/terminate old execs individually; | changeset | files |
| Thu, 11 Jul 2013 16:35:37 +0200 | wenzelm | tuned -- cleanup before publishing assignment; | changeset | files |
| Thu, 11 Jul 2013 16:26:14 +0200 | wenzelm | more abstract types; | changeset | files |