1 Subject: Announcing Isabelle2011-1
2 To: isabelle-users@cl.cam.ac.uk
4 Isabelle2011-1 is now available.
6 This version significantly improves upon Isabelle2011, see the NEWS
7 file in the distribution for more details. Some notable changes are:
9 * Significantly improved Isabelle/jEdit Prover IDE (PIDE).
11 * Improved system integration with Isabelle/Scala: YXML data encoding.
13 * Improved parallel performance and scalability.
15 * Improved document preparation: embedded rail-road diagrams.
17 * HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3
20 * Numerous HOL library improvements: main HOL, HOLCF, HOL-Library,
21 Multivariate_Analysis, Probability.
23 * Updated and extended Isabelle/Isar reference manual.
26 You may get Isabelle2011-1 from the following mirror sites:
28 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/
29 Munich (Germany) http://isabelle.in.tum.de/
30 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/