equal
deleted
inserted
replaced
2 To: isabelle-users@cl.cam.ac.uk |
2 To: isabelle-users@cl.cam.ac.uk |
3 |
3 |
4 Isabelle2018 is now available. |
4 Isabelle2018 is now available. |
5 |
5 |
6 This version introduces many changes over Isabelle2017: see the NEWS |
6 This version introduces many changes over Isabelle2017: see the NEWS |
7 file for further details. Some notable points: |
7 file for further details. Here are the main points: |
8 |
8 |
9 * FIXME. |
9 * Improved infix notation within terms. |
|
10 |
|
11 * Improved syntax for formal comments, within terms and other languages. |
|
12 |
|
13 * Improved management of ROOT files and session-qualified theories. |
|
14 |
|
15 * Various improvements of document preparation. |
|
16 |
|
17 * Many Isabelle/jEdit improvements, including semantic IDE for Bibtex. |
|
18 |
|
19 * Numerous HOL library improvements, including HOL-Algebra. |
|
20 |
|
21 * Substantial additions to HOL-Analysis. |
|
22 |
|
23 * Isabelle server for reactive communication with other programs. |
|
24 |
|
25 * More uniform 64-bit platform support: smaller Isabelle application. |
10 |
26 |
11 |
27 |
12 You may get Isabelle2018 from the following mirror sites: |
28 You may get Isabelle2018 from the following mirror sites: |
13 |
29 |
14 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle |
30 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle |