ANNOUNCE
author wenzelm
Wed, 30 Nov 2011 16:27:10 +0100
changeset 45694 4a8743618257
parent 44975 f80d918f8ac0
child 47462 8f85051693d1
permissions -rw-r--r--
prefer typedef without extra definition and alternative name; tuned proofs;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
44801
a0459c50cfc9 some updates for release;
wenzelm
parents: 41605
diff changeset
     1
Subject: Announcing Isabelle2011-1
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     2
To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     3
44801
a0459c50cfc9 some updates for release;
wenzelm
parents: 41605
diff changeset
     4
Isabelle2011-1 is now available.
37353
b6222a65bacf tuned ANNOUNCEMENT;
wenzelm
parents: 37317
diff changeset
     5
44975
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
     6
This version significantly improves upon Isabelle2011, see the NEWS
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
     7
file in the distribution for more details.  Some notable changes are:
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
     8
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
     9
* Significantly improved Isabelle/jEdit Prover IDE (PIDE).
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    10
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    11
* Improved system integration with Isabelle/Scala: YXML data encoding.
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    12
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    13
* Improved parallel performance and scalability.
37317
5164c4ec787b first proposal for a announcement
haftmann
parents: 37159
diff changeset
    14
44975
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    15
* Improved document preparation: embedded rail-road diagrams.
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    16
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    17
* HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    18
  integration.
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    19
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    20
* Numerous HOL library improvements: main HOL, HOLCF, HOL-Library,
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    21
  Multivariate_Analysis, Probability.
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    22
f80d918f8ac0 tentative announcement based on current NEWS;
wenzelm
parents: 44801
diff changeset
    23
* Updated and extended Isabelle/Isar reference manual.
37353
b6222a65bacf tuned ANNOUNCEMENT;
wenzelm
parents: 37317
diff changeset
    24
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    25
44801
a0459c50cfc9 some updates for release;
wenzelm
parents: 41605
diff changeset
    26
You may get Isabelle2011-1 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    27
27085
dbf4f791953d adjusted location of cambridge website
haftmann
parents: 27066
diff changeset
    28
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
17696
eccdee8a0790 adjusted www links
haftmann
parents: 17692
diff changeset
    29
  Munich (Germany)     http://isabelle.in.tum.de/
14616
b167b1b848d8 added sydney mirror
kleing
parents: 14614
diff changeset
    30
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/