Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
Mon, 17 May 2021 13:40:01 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Sat, 10 Apr 2021 21:50:59 +0200 | wenzelm | more robust treatment of empty markup: it allows to produce formal chunks; | file | diff | annotate |