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
|
Tue, 22 Aug 2023 10:34:27 +0200 |
wenzelm |
clarified command-line tools;
|
file |
diff |
annotate
|
Wed, 12 Jul 2023 16:23:28 +0200 |
wenzelm |
proper system integration and renaming;
|
file |
diff |
annotate
|
Tue, 11 Jul 2023 15:01:38 +0200 |
wenzelm |
provide tool for GHC stack component;
|
file |
diff |
annotate
|
Wed, 29 Mar 2023 22:21:12 +0200 |
wenzelm |
build rsync from sources, to avoid divergence of protocols on various platforms;
|
file |
diff |
annotate
|
Wed, 29 Mar 2023 20:56:43 +0200 |
wenzelm |
provide Isabelle tool wrapper;
|
file |
diff |
annotate
|
Sat, 11 Mar 2023 21:25:24 +0100 |
wenzelm |
discontinued apache-commons in favour of jsoup, which is smaller and more useful;
|
file |
diff |
annotate
|
Tue, 07 Mar 2023 23:02:52 +0100 |
wenzelm |
renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to "isabelle build");
|
file |
diff |
annotate
|
Tue, 07 Mar 2023 22:54:44 +0100 |
wenzelm |
renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
|
file |
diff |
annotate
|
Tue, 07 Mar 2023 22:21:48 +0100 |
wenzelm |
sort lines;
|
file |
diff |
annotate
|
Tue, 07 Mar 2023 12:06:01 +0100 |
wenzelm |
basic setup for "isabelle build_worker";
|
file |
diff |
annotate
|
Tue, 07 Mar 2023 10:16:24 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Fri, 25 Nov 2022 10:57:38 +0100 |
wenzelm |
discontinue unused JCEF: superseded by Electron with its bundled Chromium;
|
file |
diff |
annotate
|
Fri, 11 Nov 2022 23:04:55 +0100 |
wenzelm |
support for the Prism.js syntax highlighter -- via external Node.js process;
|
file |
diff |
annotate
|
Sun, 06 Nov 2022 23:10:28 +0100 |
wenzelm |
proper user tool;
|
file |
diff |
annotate
|
Sun, 06 Nov 2022 22:17:28 +0100 |
wenzelm |
support for EPTCS style with demo document;
|
file |
diff |
annotate
|
Sat, 05 Nov 2022 22:35:20 +0100 |
wenzelm |
support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;
|
file |
diff |
annotate
|
Fri, 04 Nov 2022 20:15:54 +0100 |
wenzelm |
support for Springer LLNCS with demo document;
|
file |
diff |
annotate
|
Mon, 31 Oct 2022 21:44:34 +0100 |
wenzelm |
support for FoilTeX with demo document;
|
file |
diff |
annotate
|
Mon, 31 Oct 2022 17:10:13 +0100 |
wenzelm |
support for Easychair style with demo document;
|
file |
diff |
annotate
|
Mon, 31 Oct 2022 15:50:13 +0100 |
wenzelm |
support for Dagstuhl LIPIcs style with demo document;
|
file |
diff |
annotate
|
Fri, 21 Oct 2022 11:08:01 +0200 |
wenzelm |
support for Zstd data compression;
|
file |
diff |
annotate
|
Thu, 29 Sep 2022 13:58:26 +0200 |
Fabian Huch |
restructured ci profile into modular ci build system;
|
file |
diff |
annotate
|
Wed, 07 Sep 2022 11:15:04 +0200 |
wenzelm |
tool to build Isabelle component for PostgreSQL JDBC;
|
file |
diff |
annotate
|
Mon, 29 Aug 2022 19:14:04 +0200 |
wenzelm |
tool to build Isabelle component for cvc5;
|
file |
diff |
annotate
|
Fri, 19 Aug 2022 16:46:00 +0200 |
wenzelm |
clarified signature: support for adhoc file types;
|
file |
diff |
annotate
|
Fri, 01 Jul 2022 19:58:38 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
Fri, 01 Jul 2022 16:03:10 +0200 |
wenzelm |
discontinued Isabelle tools implemented as .scala scripts;
|
file |
diff |
annotate
|
Tue, 21 Jun 2022 18:24:22 +0200 |
Fabian Huch |
switched to statically compiled ci profile;
|
file |
diff |
annotate
|
Wed, 15 Jun 2022 13:37:35 +0200 |
wenzelm |
"isabelle vscode" is regular user-space tool;
|
file |
diff |
annotate
|
Sat, 11 Jun 2022 22:55:21 +0200 |
wenzelm |
promote "isabelle sync" to regular user-space tool, with proper documentation;
|
file |
diff |
annotate
|
Fri, 10 Jun 2022 13:53:43 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
Sun, 29 May 2022 22:43:31 +0200 |
wenzelm |
support to synchronize Isabelle + AFP repositories;
|
file |
diff |
annotate
|
Sun, 29 May 2022 13:13:45 +0200 |
wenzelm |
support for "isabelle hg_sync";
|
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
|
Sat, 26 Mar 2022 14:12:38 +0100 |
wenzelm |
build Isabelle Scala component from official downloads (for scala-3.1.1);
|
file |
diff |
annotate
|
Tue, 22 Mar 2022 12:48:27 +0100 |
wenzelm |
run Isabelle/VSCode via Scala;
|
file |
diff |
annotate
|
Mon, 21 Mar 2022 10:56:29 +0100 |
wenzelm |
incorporate build_grammar into build_vscode_extension;
|
file |
diff |
annotate
|
Wed, 09 Mar 2022 11:20:16 +0100 |
wenzelm |
patch VSCode source tree to support isabelle_encoding.ts;
|
file |
diff |
annotate
|
Tue, 08 Mar 2022 17:09:09 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
Fri, 04 Mar 2022 22:53:49 +0100 |
wenzelm |
build component for VSCodium (cross-compiled from sources for all platforms);
|
file |
diff |
annotate
|
Sun, 20 Feb 2022 15:30:07 +0100 |
wenzelm |
support for PDF.js: platform-independent PDF viewer;
|
file |
diff |
annotate
|
Thu, 17 Feb 2022 19:00:14 +0100 |
wenzelm |
setup VSCode from VSCodium distribution;
|
file |
diff |
annotate
|
Thu, 07 Oct 2021 13:12:08 +0200 |
wenzelm |
build minisat, using recent fork from original sources;
|
file |
diff |
annotate
|
Mon, 17 May 2021 16:15:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Fri, 14 May 2021 21:32:11 +0200 |
wenzelm |
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
|
file |
diff |
annotate
|
Mon, 10 May 2021 12:23:30 +0200 |
wenzelm |
build auxiliary jEdit component in Isabelle/Scala;
|
file |
diff |
annotate
|
Mon, 12 Apr 2021 18:10:13 +0200 |
wenzelm |
clarified signature for Scala functions;
|
file |
diff |
annotate
|