| Wed, 25 Jun 2025 13:32:28 +0200 | wenzelm | more operations (e.g. for testing); | file | diff | annotate |
| Wed, 25 Jun 2025 12:08:12 +0200 | wenzelm | clarified signature: more accurate ML_Settings; | file | diff | annotate |
| Fri, 21 May 2021 12:29:29 +0200 | wenzelm | clarified modules; | 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 |