| 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 |
| Sat, 28 Nov 2020 15:17:14 +0100 | wenzelm | more positions; | file | diff | annotate |