author wenzelm
Wed, 16 Nov 2011 20:56:21 +0100
changeset 45525 59561859c452
parent 44975 f80d918f8ac0
child 47462 8f85051693d1
permissions -rw-r--r--
tagging is not stable under morphisms and need to be replayed dynamically (mixed_attribute);

Subject: Announcing Isabelle2011-1

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

* 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)
  Munich (Germany)
  Sydney (Australia)