| Fri, 26 Apr 2024 13:25:44 +0200 |
wenzelm |
update Windows test machines;
|
file |
diff |
annotate
|
| Fri, 05 Apr 2024 21:21:02 +0200 |
wenzelm |
avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 20:58:19 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Sat, 25 Nov 2023 16:49:48 +0100 |
wenzelm |
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
|
file |
diff |
annotate
|
| Sun, 15 Oct 2023 13:48:08 +0200 |
wenzelm |
disable naproche component for now: to be updated before the next Isabelle release;
|
file |
diff |
annotate
|
| Wed, 07 Jun 2023 14:29:25 +0200 |
wenzelm |
back to more concise build_release, thanks to build_host_macos = "mini3";
|
file |
diff |
annotate
|
| Wed, 07 Jun 2023 13:02:40 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2023 10:47:32 +0100 |
wenzelm |
follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and before);
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 00:00:17 +0100 |
wenzelm |
more TODO for release;
|
file |
diff |
annotate
|
| Wed, 26 Oct 2022 15:02:11 +0200 |
wenzelm |
formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;
|
file |
diff |
annotate
|
| Tue, 25 Oct 2022 15:13:11 +0200 |
wenzelm |
official release;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2022 15:24:04 +0200 |
wenzelm |
updated to naproche-20221024: minor changes to documentation;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2022 11:31:35 +0200 |
wenzelm |
update naproche component;
|
file |
diff |
annotate
|
| Sun, 02 Oct 2022 16:05:34 +0200 |
wenzelm |
provide naproche-20221002;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2022 14:10:15 +0200 |
wenzelm |
clarified packaging;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2022 23:09:00 +0200 |
wenzelm |
provide naproche-20220917;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2022 20:44:22 +0200 |
wenzelm |
clarified release packaging: naproche-20220910 lacks arm64-linux support (and crashes);
|
file |
diff |
annotate
|
| Sat, 10 Sep 2022 15:48:36 +0200 |
wenzelm |
update to Isabelle2022 and Ubuntu 22.04;
|
file |
diff |
annotate
|
| Wed, 06 Apr 2022 12:13:35 +0200 |
wenzelm |
avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;
|
file |
diff |
annotate
|
| Wed, 02 Mar 2022 20:32:16 +0100 |
wenzelm |
disregard public marketplace;
|
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
|
| Mon, 01 Nov 2021 22:33:28 +0100 |
wenzelm |
update paths at TUM;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 20:39:08 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 22:14:11 +0200 |
wenzelm |
more tests;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
|
| Wed, 28 Apr 2021 13:03:09 +0200 |
wenzelm |
clarified command-line, following other build_XYZ tools;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 17:15:54 +0200 |
wenzelm |
simplified release status (again), in contrast to a43898f76ae9;
|
file |
diff |
annotate
|
| Sat, 27 Mar 2021 15:56:49 +0100 |
wenzelm |
record official releases that follow a certain structure, with public access via https://isabelle.sketis.net/repos/isabelle/raw-file/tip/Admin/Release/official (NB: Isabelle2013-1 had to be retracted);
|
file |
diff |
annotate
|
| Wed, 24 Feb 2021 18:54:53 +0100 |
wenzelm |
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
|
file |
diff |
annotate
|
| Sat, 20 Feb 2021 17:21:48 +0100 |
wenzelm |
more hints;
|
file |
diff |
annotate
|