| Tue, 07 Sep 2021 21:16:22 +0200 | wenzelm | export other entities, e.g. relevant for formal document output; | changeset | files |
| Tue, 07 Sep 2021 20:27:06 +0200 | wenzelm | pointer_eq_ord: minor performance tuning; | changeset | files |
| Tue, 07 Sep 2021 17:13:34 +0200 | wenzelm | more robust: progress.stopped means that build has failed; | changeset | files |
| Tue, 07 Sep 2021 17:07:28 +0200 | wenzelm | more reactive interrupt; | changeset | files |
| Tue, 07 Sep 2021 16:54:28 +0200 | wenzelm | more reactive interrupt; | changeset | files |
| Tue, 07 Sep 2021 16:46:18 +0200 | wenzelm | more robust: retain length of results; | changeset | files |
| Tue, 07 Sep 2021 16:34:17 +0200 | wenzelm | more reactive interrupt; | changeset | files |