| 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 |