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