| Sun, 10 Aug 2025 15:17:13 +0200 |
wenzelm |
Process theories within an adhoc session context.
|
file |
diff |
annotate
|
| Wed, 07 May 2025 21:52:22 +0200 |
wenzelm |
provide "isabelle caddy_setup" and "isabelle caddy";
|
file |
diff |
annotate
|
| Tue, 15 Apr 2025 21:32:50 +0200 |
wenzelm |
support for SVG icons via com.formdev.flatlaf.extras.FlatSVGIcon from flatlaf-extras (which is based on JSVG);
|
file |
diff |
annotate
|
| Thu, 10 Apr 2025 14:12:33 +0200 |
wenzelm |
more explicit build stages;
|
file |
diff |
annotate
|
| Fri, 07 Feb 2025 22:23:24 +0100 |
Fabian Huch |
web component for Find_Facts: bundled assets and compiled elm app;
|
file |
diff |
annotate
|
| Sat, 01 Feb 2025 22:13:49 +0100 |
wenzelm |
updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2025 23:20:44 +0100 |
wenzelm |
reproducible construction of HOL Light export bundle;
|
file |
diff |
annotate
|
| Sun, 12 Jan 2025 00:05:01 +0100 |
wenzelm |
tool wrappers with specific java options, notably classpath "$SOLR_JARS";
|
file |
diff |
annotate
|
| Sat, 11 Jan 2025 23:24:32 +0100 |
wenzelm |
proper component src/Tools/Find_Facts;
|
file |
diff |
annotate
|
| Sat, 11 Jan 2025 21:51:06 +0100 |
wenzelm |
activate admin tools;
|
file |
diff |
annotate
|
| Mon, 06 Jan 2025 15:33:35 +0100 |
wenzelm |
recovered "isabelle component_jcef" from bf537a75e872, adapted to 9fe5d8c70352 and 2a99fcb283ee;
|
file |
diff |
annotate
|
| Mon, 16 Dec 2024 19:09:14 +0100 |
wenzelm |
update to xz-java-1.10;
|
file |
diff |
annotate
|
| Mon, 16 Sep 2024 15:49:36 +0200 |
wenzelm |
discontinued "isabelle build -k": superseded by admin-tool "isabelle check_keywords";
|
file |
diff |
annotate
|
| Mon, 16 Sep 2024 13:53:43 +0200 |
wenzelm |
obsolete (see also b93cc7d73431);
|
file |
diff |
annotate
|
| Wed, 12 Jun 2024 17:12:13 +0200 |
Fabian Huch |
moved ci_build module to build_ci;
|
file |
diff |
annotate
|
| Tue, 11 Jun 2024 08:58:22 +0200 |
Fabian Huch |
add build_manager_database tool to restore db from log files;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 22:34:24 +0200 |
wenzelm |
clarified name: avoid clash with Library.Update;
|
file |
diff |
annotate
|
| Tue, 04 Jun 2024 09:02:36 +0200 |
Fabian Huch |
add build manager module;
|
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
|
| Fri, 16 Feb 2024 10:31:50 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 15 Feb 2024 12:48:25 +0100 |
wenzelm |
clarified directories;
|
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
|
| Wed, 06 Dec 2023 18:28:15 +0100 |
Fabian Huch |
added build schedule command-line wrapper;
|
file |
diff |
annotate
|
| Sat, 28 Oct 2023 17:35:26 +0200 |
wenzelm |
merged
|
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
|
| Thu, 26 Oct 2023 11:23:53 +0200 |
Fabian Huch |
added component for javax mail;
|
file |
diff |
annotate
|
| Tue, 10 Oct 2023 12:57:01 +0200 |
Fabian Huch |
add component build tool for hugo from afp-devel;
|
file |
diff |
annotate
|