| Tue, 20 Jun 2023 14:25:06 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 15 Jun 2023 15:04:23 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 14 Mar 2023 10:35:41 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 02 Mar 2023 16:09:22 +0100 | wenzelm | clarified names; | file | diff | annotate |
| Thu, 02 Mar 2023 15:55:20 +0100 | wenzelm | tuned, following ML_Statistics.monitor; | file | diff | annotate |
| Thu, 02 Mar 2023 15:39:21 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 28 Feb 2023 17:42:13 +0100 | wenzelm | clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure; | file | diff | annotate |
| Tue, 28 Feb 2023 17:16:50 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 28 Feb 2023 17:12:39 +0100 | wenzelm | simplified somewhat pointless error message (see also 0189fe0f6452); | file | diff | annotate |
| Mon, 20 Feb 2023 21:47:25 +0100 | wenzelm | tuned: avoid redundant white space; | file | diff | annotate |
| Wed, 21 Dec 2022 13:52:44 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 16 Dec 2022 18:12:48 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 16 Dec 2022 17:51:52 +0100 | wenzelm | clarified names; | file | diff | annotate |
| Fri, 16 Dec 2022 17:30:29 +0100 | wenzelm | clarified signature; | file | diff | annotate |