| Wed, 12 Jun 2024 17:12:13 +0200 |
Fabian Huch |
moved ci_build module to build_ci;
|
file |
diff |
annotate
|
| Wed, 12 Jun 2024 17:06:34 +0200 |
Fabian Huch |
overhauled ci_build: clarified, removed unused, removed implicit Jenkins assumptions;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 22:26:40 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 22:34:24 +0200 |
wenzelm |
clarified name: avoid clash with Library.Update;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 21:48:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 04 Jun 2024 09:02:36 +0200 |
Fabian Huch |
add build manager module;
|
file |
diff |
annotate
|
| Sat, 30 Mar 2024 01:08:25 +0100 |
Fabian Huch |
moved web_app module from AFP (e.g., for building web services for the distributed build);
|
file |
diff |
annotate
|
| Wed, 27 Mar 2024 13:32:30 +0100 |
wenzelm |
tuned order;
|
file |
diff |
annotate
|
| Wed, 27 Mar 2024 13:23:15 +0100 |
wenzelm |
more Setup_Tool services;
|
file |
diff |
annotate
|
| Wed, 27 Mar 2024 12:50:37 +0100 |
wenzelm |
proper services for Setup_Tool --- avoid hardwired stuff;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 20:39:06 +0100 |
wenzelm |
dynamic setup of Go component, similar to Dotnet;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 11:15:48 +0100 |
wenzelm |
build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload);
|
file |
diff |
annotate
|
| Sun, 24 Mar 2024 17:49:53 +0100 |
wenzelm |
build Isabelle component for Go: all platforms;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 14:19:05 +0100 |
wenzelm |
update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2024 15:57:25 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 15:04:53 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 14:59:34 +0100 |
wenzelm |
prefer static object, while class is required for "services";
|
file |
diff |
annotate
|
| Thu, 15 Feb 2024 12:48:25 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
| Wed, 14 Feb 2024 14:16:56 +0100 |
wenzelm |
clarified modules, following Isabelle/ML;
|
file |
diff |
annotate
|
| Sun, 04 Feb 2024 19:32:45 +0100 |
wenzelm |
build Isabelle windows_app component from GNU binutils and launch4j;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 16:09:35 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 15:07:41 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 13:24:26 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
| Sat, 11 Nov 2023 13:31:14 +0100 |
wenzelm |
support for global registry;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2023 17:32:56 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 28 Oct 2023 17:35:26 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Wed, 18 Oct 2023 20:51:24 +0200 |
Fabian Huch |
add module for faster scheduled builds;
|
file |
diff |
annotate
|
| Wed, 18 Oct 2023 19:49:08 +0200 |
Fabian Huch |
added initial version of benchmark module, e.g., to compare performance of different hosts;
|
file |
diff |
annotate
|
| Tue, 24 Oct 2023 19:17:46 +0200 |
Fabian Huch |
added mail module;
|
file |
diff |
annotate
|
| Thu, 26 Oct 2023 11:23:53 +0200 |
Fabian Huch |
added component for javax mail;
|
file |
diff |
annotate
|