| Tue, 24 Jun 2025 22:08:20 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 20 Jun 2023 14:25:06 +0200 | wenzelm | clarified modules; | 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 |
| Wed, 21 Dec 2022 13:52:44 +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 |
| Sat, 20 Aug 2022 13:28:31 +0200 | wenzelm | clarified signature: follow Sessions.Deps.check_errors (despite Process_Result.check); | file | diff | annotate |