wenzelm@44801: Subject: Announcing Isabelle2011-1 wenzelm@9928: To: isabelle-users@cl.cam.ac.uk wenzelm@9928: wenzelm@44801: Isabelle2011-1 is now available. wenzelm@37353: wenzelm@44975: This version significantly improves upon Isabelle2011, see the NEWS wenzelm@44975: file in the distribution for more details. Some notable changes are: wenzelm@44975: wenzelm@44975: * Significantly improved Isabelle/jEdit Prover IDE (PIDE). wenzelm@44975: wenzelm@44975: * Improved system integration with Isabelle/Scala: YXML data encoding. wenzelm@44975: wenzelm@44975: * Improved parallel performance and scalability. haftmann@37317: wenzelm@44975: * Improved document preparation: embedded rail-road diagrams. wenzelm@44975: wenzelm@44975: * HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3 wenzelm@44975: integration. wenzelm@44975: wenzelm@44975: * Numerous HOL library improvements: main HOL, HOLCF, HOL-Library, wenzelm@44975: Multivariate_Analysis, Probability. wenzelm@44975: wenzelm@44975: * Updated and extended Isabelle/Isar reference manual. wenzelm@37353: wenzelm@12983: wenzelm@44801: 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/