Sun, 13 Apr 2025 12:29:31 +0200 | wenzelm | clarified signature: more uniform; | file | diff | annotate |
Sun, 13 Apr 2025 12:26:30 +0200 | wenzelm | tuned; | file | diff | annotate |
Sun, 13 Apr 2025 12:23:48 +0200 | wenzelm | more accurate MinGW path conversion: support locations outside of mingw.root; | file | diff | annotate |
Thu, 10 Apr 2025 20:39:06 +0200 | wenzelm | more robust access to GMP library that is provided here; | file | diff | annotate |
Sat, 01 Jun 2024 12:31:06 +0200 | wenzelm | clarified signature: prefer symbolic isabelle.Path over physical java.io.File; | file | diff | annotate |
Sat, 20 Jan 2024 13:31:07 +0100 | wenzelm | always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c); | file | diff | annotate |
Sat, 14 Oct 2023 15:16:40 +0200 | wenzelm | updated Linux baseline to Ubuntu 18.04; | file | diff | annotate |