Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
Wed, 09 Jun 2021 11:21:42 +0200 | wenzelm | tuned messages; | file | diff | annotate |
Wed, 09 Jun 2021 10:37:53 +0200 | wenzelm | more systematic treatment of profiling mode; | file | diff | annotate |
Tue, 08 Jun 2021 23:36:30 +0200 | wenzelm | tuned message; | file | diff | annotate |
Tue, 08 Jun 2021 16:32:57 +0200 | wenzelm | add missing file; | file | diff | annotate |