| Wed, 27 Mar 2024 17:51:37 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Wed, 27 Mar 2024 17:11:46 +0100 | wenzelm | support for "all" platforms; | file | diff | annotate |
| Wed, 27 Mar 2024 17:04:37 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 27 Mar 2024 13:23:15 +0100 | wenzelm | more Setup_Tool services; | file | diff | annotate |
| Tue, 26 Mar 2024 20:58:01 +0100 | wenzelm | misc tuning, following go_setup; | file | diff | annotate |
| Tue, 26 Mar 2024 20:23:13 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Tue, 26 Mar 2024 17:27:35 +0100 | wenzelm | clarified signature: more operations; | file | diff | annotate |