| 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 |