| Tue, 29 Aug 2023 12:53:28 +0200 | wenzelm | misc tuning: support "scalac -source 3.3"; | file | diff | annotate |
| Fri, 20 Jan 2023 20:26:42 +0100 | wenzelm | dismantle special treatment of citations in Isabelle/Scala; | file | diff | annotate |
| Fri, 13 Jan 2023 17:14:59 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sun, 01 Jan 2023 22:54:40 +0100 | wenzelm | tuned signature, following Url.append_path; | file | diff | annotate |