| 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 |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Mon, 13 Sep 2021 11:52:32 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 07 Aug 2021 21:25:47 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 04 Mar 2021 21:04:27 +0100 | wenzelm | clarified signature --- fewer warnings; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 16 Nov 2020 23:27:43 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 10 Nov 2020 12:45:20 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 06 Apr 2020 21:07:38 +0200 | wenzelm | more robust interrupt handling; | file | diff | annotate |
| Mon, 30 Mar 2020 19:50:01 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 27 Mar 2020 12:46:56 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 27 Mar 2020 12:03:20 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 15 Jan 2020 19:54:50 +0100 | wenzelm | misc tuning, following hint by IntelliJ; | file | diff | annotate |
| Fri, 01 Mar 2019 21:29:59 +0100 | wenzelm | system option "system_heaps" supersedes various command-line options for "system build mode"; | file | diff | annotate |
| Fri, 29 Jun 2018 16:45:54 +0200 | wenzelm | command-line option for include_sessions; | file | diff | annotate |
| Wed, 30 May 2018 14:46:04 +0200 | wenzelm | clarified outermost progress.interrupt_handler; | file | diff | annotate |
| Mon, 28 May 2018 13:35:43 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 18 May 2018 17:09:55 +0200 | wenzelm | support Store with options; | file | diff | annotate |
| Tue, 13 Mar 2018 18:28:12 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 10 Mar 2018 13:03:01 +0100 | wenzelm | clarified interrupt handling; | file | diff | annotate |
| Sat, 10 Mar 2018 11:08:20 +0100 | wenzelm | more comments; | file | diff | annotate |
| Fri, 09 Mar 2018 17:03:10 +0100 | wenzelm | more general TTY loop; | file | diff | annotate |
| Thu, 02 Nov 2017 11:26:58 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 01 Nov 2017 16:43:51 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 31 Oct 2017 18:45:33 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 31 Oct 2017 17:56:28 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 13 Apr 2017 12:27:57 +0200 | wenzelm | clarified directories; | file | diff | annotate | base |