wenzelm@45682: Subject: Announcing Isabelle2011-1
wenzelm@9928: To: isabelle-users@cl.cam.ac.uk
wenzelm@9928: 
wenzelm@45682: Isabelle2011-1 is now available.
wenzelm@12927: 
wenzelm@45846: This version significantly improves upon Isabelle2011, see the NEWS
wenzelm@45846: file in the distribution for more details.  Some notable changes are:
wenzelm@9928: 
wenzelm@45846: * Significantly improved Isabelle/jEdit Prover IDE (PIDE).
wenzelm@45846: 
wenzelm@45846: * Improved system integration with Isabelle/Scala: YXML data encoding.
wenzelm@45846: 
wenzelm@45846: * Improved parallel performance and scalability.
wenzelm@45846: 
wenzelm@45846: * Improved document preparation: embedded rail-road diagrams.
wenzelm@45846: 
wenzelm@45846: * HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3
wenzelm@45846:   integration.
wenzelm@45846: 
wenzelm@45846: * Numerous HOL library improvements: main HOL, HOLCF, HOL-Library,
wenzelm@45846:   Multivariate_Analysis, Probability.
wenzelm@45846: 
wenzelm@45846: * Updated and extended Isabelle/Isar reference manual.
wenzelm@27066: 
haftmann@37314: 
wenzelm@45682: You may get Isabelle2011-1 from the following mirror sites:
wenzelm@9928: 
haftmann@27085:   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
haftmann@17696:   Munich (Germany)     http://isabelle.in.tum.de/
kleing@14616:   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/