author wenzelm
Wed, 02 Oct 2013 17:09:12 +0200
changeset 54034 07844b536810
parent 53978 65c893e0849f
child 54051 cdba71c67860
permissions -rw-r--r--
some highlights of Isabelle2013-1 based on NEWS;

Subject: Announcing Isabelle2013-1

Isabelle2013-1 is now available.

This version consolidates Isabelle2013 and introduces numerous
improvements, see the NEWS file in the distribution for more details.
Some highlights are:

* Improved Isabelle/jEdit Prover IDE.

* Consolidated multi-platform support: Linux, Windows, Mac OS X.

* New and updated manuals: datatypes, isar-ref, implementation, jedit.

* New Spec_Check: Quickcheck tool for Isabelle/ML.

* HOL tool enhancements: Codegenerator, Function, Lifting, Transfer,
  Nitpick, Sledgehammer,

* HOL library enhancements: HOL-Library, HOL-Multivariate_Analysis.

* HOL: improved BNF-based (co)datatype package.

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

  Cambridge (UK)
  Munich (Germany)
  Sydney (Australia)