1 Subject: Announcing Isabelle2018 |
1 Subject: Announcing Isabelle2018 |
2 To: isabelle-users@cl.cam.ac.uk |
2 To: isabelle-users@cl.cam.ac.uk |
3 |
3 |
4 Isabelle2018 is now available. |
4 Isabelle2019 is now available. |
5 |
5 |
6 This version introduces many changes over Isabelle2017: see the NEWS |
6 This version introduces many changes over Isabelle2018: see the NEWS |
7 file for further details. Here are some notable points: |
7 file for further details. Here are some notable points: |
8 |
8 |
9 * Improved infix notation within terms. |
9 * Improved "Isabelle DejaVu" font collection, suitable for text and GUI. |
10 |
10 |
11 * Improved syntax for formal comments, within terms and other languages. |
11 * Various Isabelle/jEdit improvements, with virtual file-system access to |
|
12 sessions and exports. |
12 |
13 |
13 * Improved management of ROOT files and session-qualified theories. |
14 * Improved headless PIDE session (and server). |
14 |
15 |
15 * Various improvements of document preparation. |
16 * HOL: 'export_code' now generates logical files in the theory and session |
|
17 context, e.g. browsable as "isabelle-export:" in Isabelle/jEdit. |
16 |
18 |
17 * Many Isabelle/jEdit improvements, including semantic IDE for BibTeX. |
19 * HOL: various syntax and library improvements. |
18 |
20 |
19 * Numerous HOL library improvements, including HOL-Algebra. |
21 * HOL-Analysis: more material and better organization. |
20 |
22 |
21 * Substantial additions to HOL-Analysis. |
23 * Isabelle/ML environments for separate SML applications. |
22 |
24 |
23 * HOL-Library.Code_Lazy: code generation for lazy evaluation. |
25 * Isabelle/Haskell library for implementation of Isabelle/PIDE backends. |
24 |
26 |
25 * HOL-Real_Asymp: tools for semi-automatic real asymptotics. |
27 * Installation management for Haskell (Stack) and OCaml (OPAM). |
26 |
28 |
27 * Isabelle server for reactive communication with other programs. |
29 * Update to current Java 11 and Poly/ML 5.8 with better scalability. |
28 |
|
29 * More uniform 64-bit platform support: smaller Isabelle application. |
|
30 |
30 |
31 |
31 |
32 You may get Isabelle2018 from the following mirror sites: |
32 You may get Isabelle2019 from the following mirror sites: |
33 |
33 |
34 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle |
34 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle |
35 Munich (Germany) https://isabelle.in.tum.de |
35 Munich (Germany) https://isabelle.in.tum.de |
36 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle |
36 Sydney (Australia) https://mirror.cse.unsw.edu.au/pub/isabelle |
37 Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle |
37 Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle |