ANNOUNCE
author huffman
Fri, 30 Mar 2012 16:44:23 +0200
changeset 47228 4f4d85c3516f
parent 44975 f80d918f8ac0
child 47462 8f85051693d1
permissions -rw-r--r--
load Tools/numeral.ML in Num.thy

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/