| 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 |
| Fri, 01 Apr 2022 11:18:03 +0200 | wenzelm | updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2; | file | diff | annotate |
| Mon, 06 Dec 2021 15:34:54 +0100 | wenzelm | discontinued old-style {* verbatim *} tokens; | file | diff | annotate |