| 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
|