| Tue, 10 Oct 2023 12:57:01 +0200 |
Fabian Huch |
add component build tool for hugo from afp-devel;
|
file |
diff |
annotate
|
| Thu, 20 Jul 2023 12:11:34 +0200 |
wenzelm |
clarified file location: to be used by regular Isabelle/Scala tools;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 20:14:57 +0200 |
wenzelm |
support for management of build cluster;
|
file |
diff |
annotate
|
| Wed, 12 Jul 2023 21:07:21 +0200 |
Fabian Huch |
added TOML module from afp;
|
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
|
| Tue, 20 Jun 2023 14:25:06 +0200 |
wenzelm |
clarified modules;
|
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
|
| 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:26:02 +0100 |
wenzelm |
proper file-name (amending b975f5aaf6b8);
|
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
|
| Thu, 02 Mar 2023 14:58:59 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 14:22:17 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 21 Feb 2023 12:03:52 +0100 |
wenzelm |
support alternative build engines, via system option "build_engine";
|
file |
diff |
annotate
|
| Sat, 11 Feb 2023 11:42:13 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 22:29:24 +0100 |
wenzelm |
removed somewhat pointless support for Jenkins log files: it has stopped working long ago;
|
file |
diff |
annotate
|
| Fri, 27 Jan 2023 15:33:21 +0100 |
wenzelm |
prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 20:20:59 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 14:58:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 08 Dec 2022 17:23:31 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 05 Dec 2022 21:10:39 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 04 Dec 2022 14:15:12 +0100 |
wenzelm |
more direct access to jEdit jar resources, without unzip;
|
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
|
| Fri, 11 Nov 2022 21:35:33 +0100 |
wenzelm |
support for JavaScript syntax and Node.js platform;
|
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
|
| Sat, 05 Nov 2022 14:41:51 +0100 |
wenzelm |
clarified options: support lualatex as well, but prefer old pdflatex for demos;
|
file |
diff |
annotate
|
| Sat, 05 Nov 2022 13:08:37 +0100 |
wenzelm |
document_build engine for "lipics", with options and document_files;
|
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, 28 Oct 2022 15:59:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2022 16:39:31 +0200 |
wenzelm |
generic support for XZ and Zstd compression in Isabelle/Scala;
|
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
|
| Sun, 21 Aug 2022 11:59:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 20:07:41 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2022 12:50:19 +0200 |
wenzelm |
basic setup for document build panel;
|
file |
diff |
annotate
|
| Wed, 27 Jul 2022 09:27:40 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 18:24:22 +0200 |
Fabian Huch |
switched to statically compiled ci profile;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 13:19:15 +0200 |
wenzelm |
clarified modules;
|
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
|
| Tue, 07 Jun 2022 12:32:53 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 29 May 2022 22:43:31 +0200 |
wenzelm |
support to synchronize Isabelle + AFP repositories;
|
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 11:55:51 +0100 |
wenzelm |
clarified module name;
|
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 16:58:26 +0100 |
wenzelm |
clarified names;
|
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
|
| Wed, 15 Dec 2021 23:18:41 +0100 |
wenzelm |
support for JSON:API;
|
file |
diff |
annotate
|
| Wed, 15 Dec 2021 19:41:30 +0100 |
wenzelm |
support for Flarum server;
|
file |
diff |
annotate
|