| Tue, 09 Feb 2021 14:55:36 +0100 | wenzelm | more parallelism: avoid exhaustion of standard thread pool; | changeset | files |
| Fri, 12 Feb 2021 12:13:24 +0100 | wenzelm | more robust: resolve historic components via current tool to access current server; | changeset | files |
| Fri, 12 Feb 2021 12:11:35 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 11 Feb 2021 14:55:57 +0100 | wenzelm | more parallelism; | changeset | files |
| Tue, 09 Feb 2021 14:13:03 +0100 | wenzelm | more robust ISABELLE_COMPONENT_REPOSITORY: use current value of managing process to avoid its fluctuation in ancient history; | changeset | files |
| Tue, 09 Feb 2021 14:03:05 +0100 | wenzelm | clarified signature; | changeset | files |