equal
deleted
inserted
replaced
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
5 |
5 |
6 |
6 |
7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
|
9 |
|
10 *** General *** |
|
11 |
|
12 * The arm64-linux platform is now officially supported, although a few |
|
13 (non-essential) tools are missing: |
|
14 |
|
15 - Z3 |
|
16 - CVC4 |
|
17 - OCaml / OPAM |
|
18 - Nunchaku + smbc (experimental) |
9 |
19 |
10 *** Document preparation *** |
20 *** Document preparation *** |
11 |
21 |
12 * The bundled LaTeX LNCS style has been updated to version 2.23 |
22 * The bundled LaTeX LNCS style has been updated to version 2.23 |
13 (02-Nov-2023). See also src/Doc/Demo_LLNCS/. |
23 (02-Nov-2023). See also src/Doc/Demo_LLNCS/. |