src/Pure/System/executable.scala
Sun, 13 Apr 2025 12:29:31 +0200 wenzelm clarified signature: more uniform;
Sun, 13 Apr 2025 12:26:30 +0200 wenzelm tuned;
Sun, 13 Apr 2025 12:23:48 +0200 wenzelm more accurate MinGW path conversion: support locations outside of mingw.root;
Thu, 10 Apr 2025 20:39:06 +0200 wenzelm more robust access to GMP library that is provided here;
Sat, 01 Jun 2024 12:31:06 +0200 wenzelm clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
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);
Sat, 14 Oct 2023 15:16:40 +0200 wenzelm updated Linux baseline to Ubuntu 18.04;
less more (0) -10 -7 tip