Thu, 04 Mar 2021 21:04:27 +0100 | wenzelm | clarified signature --- fewer warnings; | file | diff | annotate |
Wed, 03 Mar 2021 22:31:11 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
Sat, 28 Nov 2020 20:14:46 +0100 | wenzelm | avoid conflicting base names; | file | diff | annotate | base |