1 Subject: Announcing Isabelle2016 |
1 Subject: Announcing Isabelle2016-1 |
2 To: isabelle-users@cl.cam.ac.uk |
2 To: isabelle-users@cl.cam.ac.uk |
3 |
3 |
4 Isabelle2016 is now available. |
4 Isabelle2016-1 is now available. |
5 |
5 |
6 This version improves upon Isabelle2015 in many ways, see the NEWS file in the |
6 This version introduces significant changes over Isabelle2016, see the |
7 distribution for further details. Some highlights are as follows: |
7 NEWS file in the distribution for further details. Some highlights are |
|
8 as follows: |
8 |
9 |
9 * Enhanced Isabelle/jEdit Prover IDE, with separate State versus Output panel |
10 * TBA |
10 and more asynchronous task management within the prover/GUI. |
|
11 |
|
12 * Additional Isar language elements for structured statements and proofs. |
|
13 |
|
14 * Document language refinements, with Markdown-like text structure. |
|
15 |
|
16 * More Isabelle symbols in theory and document sources. |
|
17 |
|
18 * Pure/HOL: uniform treatment of overloaded constant definitions versus type |
|
19 definitions; upgrade of HOL typedef to definitional principle. |
|
20 |
|
21 * HOL tool enhancements: Sledgehammer, Nitpick, Quickcheck, Transfer. |
|
22 |
|
23 * HOL library additions and improvements, notably HOL-Multivariate_Analysis, |
|
24 HOL-Probability, HOL-Data_Structures. |
|
25 |
|
26 * Upgrade to Poly/ML 5.6 with debugger IDE support (Isabelle/ML and Standard |
|
27 ML), per-thread profiling, native Windows version (32bit and 64bit). |
|
28 |
11 |
29 |
12 |
30 You may get Isabelle2016 from the following mirror sites: |
13 You may get Isabelle2016-1 from the following mirror sites: |
31 |
14 |
32 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle |
15 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle |
33 Munich (Germany) http://isabelle.in.tum.de |
16 Munich (Germany) http://isabelle.in.tum.de |
34 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle |
17 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle |
35 Potsdam, NY (USA) http://mirror.clarkson.edu/isabelle |
18 Potsdam, NY (USA) http://mirror.clarkson.edu/isabelle |