| Sun, 21 Jan 2024 14:05:14 +0100 | wenzelm | clarified signature: explicit type isabelle.Url to avoid oddities of java.net.URL (e.g. its "equals" method); | file | diff | annotate |
| Thu, 23 Nov 2023 11:40:49 +0100 | wenzelm | clarified signature: avoid deprecated URL constructors; | file | diff | annotate |
| Tue, 29 Aug 2023 12:53:28 +0200 | wenzelm | misc tuning: support "scalac -source 3.3"; | file | diff | annotate |