ANNOUNCE
author wenzelm
Mon Jan 17 22:57:17 2011 +0100 (2011-01-17)
changeset 41605 7d035da21e9c
parent 41604 313b0033034a
child 44801 a0459c50cfc9
permissions -rw-r--r--
tuned;
wenzelm@41604
     1
Subject: Announcing Isabelle2011
wenzelm@9928
     2
To: isabelle-users@cl.cam.ac.uk
wenzelm@9928
     3
wenzelm@41604
     4
Isabelle2011 is now available.
wenzelm@17544
     5
wenzelm@41604
     6
This version significantly improves upon Isabelle2009-2, see the NEWS
wenzelm@41604
     7
file in the distribution for more details.  Some notable changes are:
wenzelm@27007
     8
wenzelm@41604
     9
* Experimental Prover IDE based on Isabelle/Scala and jEdit.
wenzelm@41604
    10
wenzelm@41604
    11
* Coercive subtyping (configured in HOL/Complex_Main).
haftmann@37317
    12
wenzelm@41604
    13
* HOL code generation: Scala as another target language.
haftmann@37317
    14
wenzelm@41604
    15
* HOL: partial_function definitions.
wenzelm@37353
    16
wenzelm@41604
    17
* HOL: various tool enhancements, including Quickcheck, Nitpick,
wenzelm@41604
    18
  Sledgehammer, SMT integration.
wenzelm@33873
    19
wenzelm@41604
    20
* HOL: various additions to theory library, including HOL-Algebra,
wenzelm@41605
    21
  Imperative_HOL, Multivariate_Analysis, Probability.
haftmann@37317
    22
wenzelm@41604
    23
* HOLCF: reorganization of library and related tools.
haftmann@37317
    24
wenzelm@41604
    25
* HOL/SPARK: interactive proof environment for verification conditions
wenzelm@41604
    26
  generated by the SPARK Ada program verifier.
wenzelm@37353
    27
wenzelm@41604
    28
* Improved Isabelle/Isar implementation manual (covering Isabelle/ML).
wenzelm@37353
    29
wenzelm@12983
    30
wenzelm@41604
    31
You may get Isabelle2011 from the following mirror sites:
wenzelm@9928
    32
haftmann@27085
    33
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
haftmann@17696
    34
  Munich (Germany)     http://isabelle.in.tum.de/
kleing@14616
    35
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/