equal
deleted
inserted
replaced
1 Subject: Announcing Isabelle2005 |
1 Subject: Announcing Isabelle2005 |
2 To: isabelle-users@cl.cam.ac.uk |
2 To: isabelle-users@cl.cam.ac.uk |
3 |
3 |
4 Isabelle2005 is now available. |
4 Isabelle2005 is now available. |
5 |
5 |
6 This release provides substantial advances over Isabelle2004. Some |
6 This release provides substantial advances over Isabelle2004, see the |
7 highlights are as follows (see the NEWS of the distribution for more |
7 first 1000 lines of NEWS in the distribution for more details. Some |
8 details): |
8 notable highlights are: |
9 |
9 |
10 * Interpretation of locale expressions in theories, locales, and proof |
10 * Interpretation of locale expressions in theories, locales, and proof |
11 contexts. |
11 contexts. |
12 |
12 |
13 * Substantial library improvements (HOL, HOL-Complex, HOLCF). |
13 * Substantial library improvements (HOL, HOL-Complex, HOLCF). |