| 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
|
| Sat, 27 Nov 2021 15:39:56 +0100 |
wenzelm |
more robust build on midrange hardware;
|
file |
diff |
annotate
|
| Fri, 26 Nov 2021 16:25:58 +0100 |
wenzelm |
more robust build on midrange hardware (despite 67d6f1708ea4);
|
file |
diff |
annotate
|
| Wed, 22 Sep 2021 22:28:56 +0200 |
wenzelm |
avoid problems with launch4j and jdk-17;
|
file |
diff |
annotate
|
| Fri, 16 Jul 2021 12:11:13 +0200 |
wenzelm |
clarified component setup for old graph browser;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 18:29:34 +0200 |
wenzelm |
proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 17:33:06 +0200 |
wenzelm |
more robust: avoid duplicate classpath entries;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 18:10:06 +0200 |
wenzelm |
proper usage;
|
file |
diff |
annotate
|
| Sun, 16 May 2021 16:05:13 +0200 |
wenzelm |
avoid perl;
|
file |
diff |
annotate
|
| Fri, 07 May 2021 13:17:29 +0200 |
wenzelm |
clarified default_platform_families (again);
|
file |
diff |
annotate
|
| Thu, 06 May 2021 23:09:19 +0200 |
wenzelm |
support for platform family "linux_arm";
|
file |
diff |
annotate
|
| Thu, 06 May 2021 20:43:12 +0200 |
wenzelm |
support local build_heaps;
|
file |
diff |
annotate
|
| Wed, 05 May 2021 20:41:40 +0200 |
wenzelm |
tuned --- rename = dist_name is sufficient;
|
file |
diff |
annotate
|
| Wed, 05 May 2021 20:37:49 +0200 |
wenzelm |
proper dist_name;
|
file |
diff |
annotate
|
| Wed, 05 May 2021 14:17:25 +0200 |
wenzelm |
clarified option -P: allow empty argument;
|
file |
diff |
annotate
|
| Wed, 05 May 2021 14:07:25 +0200 |
wenzelm |
support for existing release archive;
|
file |
diff |
annotate
|
| Tue, 04 May 2021 20:40:09 +0200 |
wenzelm |
more website content;
|
file |
diff |
annotate
|
| Tue, 04 May 2021 20:02:08 +0200 |
wenzelm |
misc tuning and clarification: more explicit types Release_Context, Release_Archive;
|
file |
diff |
annotate
|