ANNOUNCE
author blanchet
Mon, 26 Nov 2012 13:35:05 +0100
changeset 50222 40e3c3be6bca
parent 47869 fa59eb662e6c
child 50991 b3c6c9ef11b8
permissions -rw-r--r--
added file headers
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
47462
8f85051693d1 some updates for release;
wenzelm
parents: 44975
diff changeset
     1
Subject: Announcing Isabelle2012
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     2
To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     3
47462
8f85051693d1 some updates for release;
wenzelm
parents: 44975
diff changeset
     4
Isabelle2012 is now available.
37353
b6222a65bacf tuned ANNOUNCEMENT;
wenzelm
parents: 37317
diff changeset
     5
47869
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
     6
This version introduces many changes and improvements over
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
     7
Isabelle2011-1, see the NEWS file in the distribution for more
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
     8
details.  Some highlights are:
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
     9
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    10
* Improved Isabelle/jEdit Prover IDE (PIDE).
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    11
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    12
* Support for block-structured specification contexts.
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    13
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    14
* Discontinued old code generator.
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    15
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    16
* Updated manuals: prog-prove, isar-ref, implementation, system.
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    17
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    18
* HOL: type 'a set is proper type constructor again.
44975
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    19
47869
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    20
* HOL: improved representation of numerals.
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    21
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    22
* HOL: new transfer and lifting packages, improved quotient package.
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    23
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    24
* HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer.
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    25
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    26
* HOL library enhancements, including HOL-Library and HOL-Probability.
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    27
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    28
* HOL: more TPTP support.
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    29
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    30
* Re-implementation of HOL-Import for HOL-Light.
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    31
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    32
* ZF: some modernization of notation and proofs.
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    33
fa59eb662e6c some highlights of Isabelle2012;
wenzelm
parents: 47462
diff changeset
    34
* System integration: improved support of Windows platform.
37353
b6222a65bacf tuned ANNOUNCEMENT;
wenzelm
parents: 37317
diff changeset
    35
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    36
47462
8f85051693d1 some updates for release;
wenzelm
parents: 44975
diff changeset
    37
You may get Isabelle2012 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    38
27085
dbf4f791953d adjusted location of cambridge website
haftmann
parents: 27066
diff changeset
    39
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
17696
eccdee8a0790 adjusted www links
haftmann
parents: 17692
diff changeset
    40
  Munich (Germany)     http://isabelle.in.tum.de/
14616
b167b1b848d8 added sydney mirror
kleing
parents: 14614
diff changeset
    41
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/