| Sun, 09 Feb 2025 12:35:29 +0100 | wenzelm | clarified modules: more robust Isabelle symbols; | file | diff | annotate |
| Fri, 20 Jan 2023 21:08:18 +0100 | wenzelm | proper positions for Isabelle/ML, instead of Isabelle/Scala; | file | diff | annotate |
| Fri, 08 Apr 2022 16:26:48 +0200 | wenzelm | tuned --- fewer warnings in scala3; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |