| Fri, 01 Apr 2022 23:19:12 +0200 | wenzelm | tuned formatting; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Mon, 21 Feb 2022 21:15:05 +0100 | wenzelm | clarified pdf path; | file | diff | annotate |
| Mon, 21 Feb 2022 20:31:30 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 21 Feb 2022 16:48:44 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Mon, 21 Feb 2022 16:23:11 +0100 | wenzelm | clarified signature: more explicit section structure; | file | diff | annotate |
| Mon, 21 Feb 2022 15:33:04 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 12 Apr 2021 18:10:13 +0200 | wenzelm | clarified signature for Scala functions; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 22 Feb 2021 15:20:45 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 29 Nov 2020 13:59:18 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Sat, 28 Nov 2020 17:38:03 +0100 | wenzelm | clarified protocol: Doc.check at run-time via Scala function; | file | diff | annotate |
| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
| Sun, 19 Jan 2020 14:50:03 +0100 | wenzelm | clarified file names; | file | diff | annotate |