equal
deleted
inserted
replaced
6 |
6 |
7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
9 |
9 |
10 *** General *** |
10 *** General *** |
|
11 |
|
12 * Dropped support for very old operating systems. The platform |
|
13 base-lines are now as follows: |
|
14 |
|
15 - Ubuntu Linux 18.04 LTS |
|
16 - macOS 11 Big Sur |
|
17 - Windows 10 or Windows Server 2012 R2 |
11 |
18 |
12 * The arm64-linux platform is now officially supported, although a few |
19 * The arm64-linux platform is now officially supported, although a few |
13 (non-essential) tools are missing: |
20 (non-essential) tools are missing: |
14 |
21 |
15 - Z3 |
22 - Z3 |
171 |
178 |
172 * Update to OpenJDK 21: the current long-term support version of Java. |
179 * Update to OpenJDK 21: the current long-term support version of Java. |
173 |
180 |
174 * Update to GHC stack 2.15.1 with support for all platforms, including |
181 * Update to GHC stack 2.15.1 with support for all platforms, including |
175 ARM Linux and Apple Silicon. |
182 ARM Linux and Apple Silicon. |
176 |
|
177 * No longer support for very old versions of macOS and Linux: base-line |
|
178 is Ubuntu Linux 18.04 LTS and macOS 11 Big Sur. |
|
179 |
183 |
180 * Isabelle/Scala supports mailing via SMTP, based on new system |
184 * Isabelle/Scala supports mailing via SMTP, based on new system |
181 component javamail (previously javax.mail) from jakarta 2.1.2 |
185 component javamail (previously javax.mail) from jakarta 2.1.2 |
182 using eclipse angus 2.0.2/2.0.1. |
186 using eclipse angus 2.0.2/2.0.1. |
183 |
187 |