| Sat, 16 Jan 2021 22:52:43 +0100 | wenzelm | updated to scala-2.13.4; | 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 |