equal
deleted
inserted
replaced
1 Subject: Announcing Isabelle2008 |
1 Subject: Announcing Isabelle2008 |
2 To: isabelle-users@cl.cam.ac.uk |
2 To: isabelle-users@cl.cam.ac.uk |
3 |
3 |
4 Isabelle2008 is now available. |
4 Isabelle2008 is now available. |
5 |
5 |
6 This release mostly consolidates Isabelle2007, see the NEWS file in |
6 This release consolidates Isabelle2007, see the NEWS file in the |
7 the distribution for more details. Some notable improvements are: |
7 distribution for more details. Some notable improvements are: |
8 |
8 |
9 * ... |
9 * New version of HOL 'primrec' with local theory support. |
|
10 |
|
11 * New local theory targets for class instantiation and unrestricted |
|
12 overloading. |
|
13 |
|
14 * Support for dynamic lists of named theorems. |
|
15 |
|
16 * Significant speedup of Metis prover, with proper support for |
|
17 multithreading. |
|
18 |
|
19 * Simple TTY interface with command-line editing. |
|
20 |
|
21 * Improved support for the Cygwin platform (Windows). |
|
22 |
|
23 * Support for Poly/ML 5.2 with improved handling of multithreading and |
|
24 external processes. |
10 |
25 |
11 |
26 |
12 You may get Isabelle2008 from the following mirror sites: |
27 You may get Isabelle2008 from the following mirror sites: |
13 |
28 |
14 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ |
29 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ |