| Fri, 13 Jun 2025 15:18:16 +0200 |
wenzelm |
more robust GUI setup via Java, instead of shell script;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2025 16:49:47 +0200 |
wenzelm |
more accurate macOS L&F (see also efc58b56a6c7);
|
file |
diff |
annotate
|
| Sat, 15 Mar 2025 00:21:02 +0100 |
wenzelm |
more robust windows_app: bundle current 7z 24.09, but downgrade its output to 16.02, in order to work with old/unmaintained 7zsd_extra_171_3901.7z --- consequently, "Admin/build_release -p windows" works uniformly on Ubuntu 22.04 and 24.04;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2025 21:22:41 +0100 |
wenzelm |
clarified component name and content for FIND_FACTS_INDEXES: prefer db with compression;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2025 19:07:06 +0100 |
wenzelm |
prefer inlined sfx.txt;
|
file |
diff |
annotate
|
| Fri, 14 Feb 2025 17:40:21 +0100 |
Fabian Huch |
merged
|
file |
diff |
annotate
|
| Fri, 14 Feb 2025 17:15:27 +0100 |
Fabian Huch |
use bundled browser_info.db for Find_Facts in release;
|
file |
diff |
annotate
|
| Thu, 13 Feb 2025 23:38:28 +0100 |
wenzelm |
proper $ISABELLE_BROWSER_INFO_SYSTEM for "isabelle build -o system_heaps";
|
file |
diff |
annotate
|
| Wed, 12 Feb 2025 23:17:08 +0100 |
wenzelm |
support for browser_info.db --- requires approx. 10s to compress 1.2GB to 152MB;
|
file |
diff |
annotate
|
| Wed, 12 Feb 2025 14:26:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 03 Feb 2025 19:50:27 +0100 |
wenzelm |
more uniform cleanup;
|
file |
diff |
annotate
|
| Mon, 03 Feb 2025 19:15:30 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sun, 02 Feb 2025 21:53:08 +0100 |
wenzelm |
proper order of operations: archive before purge;
|
file |
diff |
annotate
|
| Thu, 30 Jan 2025 21:44:44 +0100 |
wenzelm |
more thorough cleanup;
|
file |
diff |
annotate
|
| Thu, 30 Jan 2025 20:55:42 +0100 |
wenzelm |
more options for build_release: support bundled browser_info and Find_Facts database;
|
file |
diff |
annotate
|
| Sun, 26 Jan 2025 22:45:57 +0100 |
wenzelm |
discontinue odd "-build" suffix altogether (see also f51b0b54b20b, bec95e287d26, 6b45a1568637);
|
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
|
| Fri, 26 Apr 2024 21:32:27 +0200 |
wenzelm |
proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca-trust/extracted/pem/directory-hash;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 23:06:18 +0100 |
wenzelm |
proper release bundle_name (amending 0e7dd3eaa6e8);
|
file |
diff |
annotate
|
| Sun, 04 Feb 2024 21:51:30 +0100 |
wenzelm |
updated windows_app based on launch4j-3.50-linux-x64, without rebuilding GNU binutils (missing COFF target pe-i386);
|
file |
diff |
annotate
|
| Sat, 27 Jan 2024 22:15:40 +0100 |
wenzelm |
routine build + test for linux_arm;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 17:29:34 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 12:53:28 +0200 |
wenzelm |
misc tuning: support "scalac -source 3.3";
|
file |
diff |
annotate
|
| Thu, 15 Jun 2023 14:45:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 15 Jun 2023 14:28:17 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 15 May 2023 10:50:48 +0200 |
wenzelm |
clarified build options: reduce heap size by approx. 3%;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 22:29:21 +0100 |
wenzelm |
clarified treatment of "verbose" messages, e.g. Progress.theory();
|
file |
diff |
annotate
|
| Wed, 25 Jan 2023 21:49:08 +0100 |
wenzelm |
tuned messages: less verbosity;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2023 20:42:24 +0100 |
wenzelm |
clean components more accurately: purge other platforms or archives;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2023 15:26:23 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 23:05:32 +0100 |
wenzelm |
clarified defaults: imitate "isabelle components -I" without further parameters;
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 15:16:24 +0100 |
wenzelm |
more robust and uniform Other_Isabelle.scala_build;
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 14:55:19 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Tue, 24 Jan 2023 11:34:39 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 23 Jan 2023 16:15:45 +0100 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 22:48:51 +0100 |
wenzelm |
proper cleanup;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 22:48:12 +0100 |
wenzelm |
avoid odd suffix in published HTML library;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 22:19:28 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 21:52:58 +0100 |
wenzelm |
clarified modules (again, in contrast to f8f065e20837);
|
file |
diff |
annotate
|
| Tue, 03 Jan 2023 15:42:25 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 01 Dec 2022 11:32:59 +0100 |
wenzelm |
clarified check;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 15:03:31 +0100 |
wenzelm |
clarified signature: prefer Scala functions instead of shell scripts;
|
file |
diff |
annotate
|
| Sun, 20 Nov 2022 23:53:39 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 26 Oct 2022 16:26:23 +0200 |
wenzelm |
more robust etc/preferences: default value remains;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2022 11:15:36 +0200 |
wenzelm |
support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 14:26:42 +0200 |
wenzelm |
discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
|
file |
diff |
annotate
|
| Thu, 15 Sep 2022 11:35:47 +0200 |
wenzelm |
proper order of platforms, to make it work uniformly on all plaform families;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2022 23:09:02 +0200 |
wenzelm |
build both arm64-darwin and x86_64-darwin on Apple ARM hardware;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2022 22:24:06 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 08 Aug 2022 14:34:09 +0200 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
| Tue, 31 May 2022 16:01:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 30 May 2022 11:02:13 +0200 |
wenzelm |
tuned names;
|
file |
diff |
annotate
|
| Sun, 29 May 2022 17:37:43 +0200 |
wenzelm |
omit pointless option;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 21 Mar 2022 11:55:51 +0100 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 17:11:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 04 Dec 2021 12:38:51 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 03 Dec 2021 13:32:58 +0100 |
wenzelm |
address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of 41d009462d3c);
|
file |
diff |
annotate
|
| Sat, 27 Nov 2021 17:02:04 +0100 |
wenzelm |
address problems with launch4j and jdk-17 (see also 41d009462d3c);
|
file |
diff |
annotate
|