| Sat, 09 Apr 2022 15:28:55 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 09 Apr 2022 12:07:51 +0200 | wenzelm | tuned --- avoid warnings in scala3; | file | diff | annotate |
| Sat, 09 Apr 2022 12:02:38 +0200 | wenzelm | avoid pattern-match warnings, notably in scala3; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Tue, 21 Apr 2020 22:19:59 +0200 | wenzelm | clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case-insensible file-system; | file | diff | annotate |
| Sat, 12 Oct 2019 15:01:13 +0200 | wenzelm | more compact XML; | file | diff | annotate |
| Sat, 12 Oct 2019 13:43:17 +0200 | wenzelm | more compact XML: separate environment for free variables; | file | diff | annotate |