| Wed, 10 Sep 2025 22:21:52 +0200 |
wenzelm |
more explicit errors;
|
changeset |
files
|
| Wed, 10 Sep 2025 22:19:34 +0200 |
wenzelm |
more accurate description;
|
changeset |
files
|
| Wed, 10 Sep 2025 20:27:08 +0200 |
wenzelm |
more systematic no_bash_functions: reduce process environment further;
|
changeset |
files
|
| Wed, 10 Sep 2025 19:44:51 +0200 |
wenzelm |
uniform Isabelle_System.bash_functions in Scala and ML, based on static result;
|
changeset |
files
|
| Wed, 10 Sep 2025 16:59:14 +0200 |
wenzelm |
trim process environment to accommodate Windows (see also "xargs --show-limits);
|
changeset |
files
|
| Wed, 10 Sep 2025 00:00:25 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Tue, 09 Sep 2025 23:55:14 +0200 |
wenzelm |
support Intel platform on Apple Silicon;
|
changeset |
files
|
| Tue, 09 Sep 2025 22:00:45 +0200 |
wenzelm |
more robust: explicit check of node_exe from download;
|
changeset |
files
|
| Tue, 09 Sep 2025 21:51:54 +0200 |
wenzelm |
revert accidental changes from f41ccbf028f5;
|
changeset |
files
|
| Tue, 09 Sep 2025 21:49:11 +0200 |
wenzelm |
support for existing Node.js directory;
|
changeset |
files
|
| Tue, 09 Sep 2025 17:39:04 +0200 |
wenzelm |
clarified signature: just one class Directory is sufficient;
|
changeset |
files
|
| Tue, 09 Sep 2025 15:37:38 +0200 |
wenzelm |
proper "rustup" installation for macOS;
|
changeset |
files
|
| Tue, 09 Sep 2025 14:10:57 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|
| Tue, 09 Sep 2025 13:06:54 +0200 |
wenzelm |
more explicit platform prerequisites;
|
changeset |
files
|
| Mon, 08 Sep 2025 23:55:00 +0200 |
wenzelm |
proper platform_context.execute for Windows/MinGW;
|
changeset |
files
|
| Mon, 08 Sep 2025 23:03:31 +0200 |
wenzelm |
clarified signature: more options;
|
changeset |
files
|
| Mon, 08 Sep 2025 22:43:15 +0200 |
wenzelm |
more accurate treatment of Windows/MinGW;
|
changeset |
files
|
| Mon, 08 Sep 2025 21:31:19 +0200 |
wenzelm |
proper platform_context.execute, where this is meant to run on the native platform;
|
changeset |
files
|
| Mon, 08 Sep 2025 21:14:57 +0200 |
wenzelm |
clarified signature: prefer Isabelle_Platform.Context, with pro-forma support for MinGW;
|
changeset |
files
|
| Mon, 08 Sep 2025 20:52:55 +0200 |
wenzelm |
proper Path conversion for Windows (amending b7554954d697);
|
changeset |
files
|
| Mon, 08 Sep 2025 19:37:25 +0200 |
wenzelm |
more robust: proper Bash.string;
|
changeset |
files
|
| Sun, 07 Sep 2025 14:43:20 +0200 |
wenzelm |
more options: node_version, vscodium_version;
|
changeset |
files
|
| Sun, 07 Sep 2025 14:10:08 +0200 |
wenzelm |
clarified signature and modules: more explicit Nodejs.setup;
|
changeset |
files
|
| Sun, 07 Sep 2025 13:16:34 +0200 |
wenzelm |
clarified signature: more explicit packages;
|
changeset |
files
|
| Sat, 06 Sep 2025 22:20:02 +0200 |
wenzelm |
discontinue special treatment of bundled node_modules (in contrast to 33fb3014876f): build now works on actual platform, and is supposed to produced proper results;
|
changeset |
files
|
| Fri, 05 Sep 2025 21:55:19 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Fri, 05 Sep 2025 21:40:25 +0200 |
wenzelm |
prefer native platform;
|
changeset |
files
|
| Fri, 05 Sep 2025 21:21:20 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Fri, 05 Sep 2025 21:03:15 +0200 |
wenzelm |
proper electron_resources for macos;
|
changeset |
files
|
| Fri, 05 Sep 2025 20:28:58 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|