Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
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, 06 Apr 2020 21:07:38 +0200 |
wenzelm |
more robust interrupt handling;
|
file |
diff |
annotate
|
Wed, 15 Jan 2020 19:54:50 +0100 |
wenzelm |
misc tuning, following hint by IntelliJ;
|
file |
diff |
annotate
|
Sat, 01 Jun 2019 21:43:03 +0200 |
wenzelm |
tuned -- accommodate scala-2.13.0-RC3;
|
file |
diff |
annotate
|
Mon, 12 Mar 2018 16:32:33 +0100 |
wenzelm |
explicit Server.Context with output channels (concurrent write);
|
file |
diff |
annotate
|
Mon, 12 Mar 2018 11:30:43 +0100 |
wenzelm |
tuned signature -- more generic;
|
file |
diff |
annotate
|
Mon, 12 Mar 2018 10:55:02 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 10 Mar 2018 13:03:01 +0100 |
wenzelm |
clarified interrupt handling;
|
file |
diff |
annotate
|
Fri, 09 Mar 2018 17:03:10 +0100 |
wenzelm |
more general TTY loop;
|
file |
diff |
annotate
|