ANNOUNCE
author blanchet
Thu, 19 Jan 2012 21:37:12 +0100
changeset 46300 6ded25a6098a
parent 44975 f80d918f8ac0
child 47462 8f85051693d1
permissions -rw-r--r--
updated Sledge docs some more

Subject: Announcing Isabelle2011-1
To: isabelle-users@cl.cam.ac.uk

Isabelle2011-1 is now available.

This version significantly improves upon Isabelle2011, see the NEWS
file in the distribution for more details.  Some notable changes are:

* Significantly improved Isabelle/jEdit Prover IDE (PIDE).

* Improved system integration with Isabelle/Scala: YXML data encoding.

* Improved parallel performance and scalability.

* Improved document preparation: embedded rail-road diagrams.

* HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3
  integration.

* Numerous HOL library improvements: main HOL, HOLCF, HOL-Library,
  Multivariate_Analysis, Probability.

* Updated and extended Isabelle/Isar reference manual.


You may get Isabelle2011-1 from the following mirror sites:

  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
  Munich (Germany)     http://isabelle.in.tum.de/
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/