| Wed, 11 Apr 2012 13:37:46 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 11 Apr 2012 12:15:56 +0200 | wenzelm | always signal after cancel_group: passive tasks may have become active; | changeset | files |
| Wed, 11 Apr 2012 11:44:21 +0200 | wenzelm | just one dedicated execution per document version -- NB: non-monotonicity of cancel always requires fresh update; | changeset | files |
| Tue, 10 Apr 2012 23:05:24 +0200 | wenzelm | merged | changeset | files |