| 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 |
| Tue, 07 Sep 2021 15:15:13 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 07 Sep 2021 15:10:53 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 07 Sep 2021 15:05:57 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 07 Sep 2021 15:02:53 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 07 Sep 2021 10:17:03 +0200 | wenzelm | merged | changeset | files |
| Mon, 06 Sep 2021 14:05:22 +0200 | wenzelm | clarified modules; | changeset | files |
| Mon, 06 Sep 2021 13:49:36 +0200 | wenzelm | more scalable operations; | changeset | files |