ANNOUNCE
author wenzelm
Sun Sep 18 15:59:38 2011 +0200 (2011-09-18)
changeset 44975 f80d918f8ac0
parent 44801 a0459c50cfc9
child 47462 8f85051693d1
permissions -rw-r--r--
tentative announcement based on current NEWS;
wenzelm@44801
     1
Subject: Announcing Isabelle2011-1
wenzelm@9928
     2
To: isabelle-users@cl.cam.ac.uk
wenzelm@9928
     3
wenzelm@44801
     4
Isabelle2011-1 is now available.
wenzelm@37353
     5
wenzelm@44975
     6
This version significantly improves upon Isabelle2011, see the NEWS
wenzelm@44975
     7
file in the distribution for more details.  Some notable changes are:
wenzelm@44975
     8
wenzelm@44975
     9
* Significantly improved Isabelle/jEdit Prover IDE (PIDE).
wenzelm@44975
    10
wenzelm@44975
    11
* Improved system integration with Isabelle/Scala: YXML data encoding.
wenzelm@44975
    12
wenzelm@44975
    13
* Improved parallel performance and scalability.
haftmann@37317
    14
wenzelm@44975
    15
* Improved document preparation: embedded rail-road diagrams.
wenzelm@44975
    16
wenzelm@44975
    17
* HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3
wenzelm@44975
    18
  integration.
wenzelm@44975
    19
wenzelm@44975
    20
* Numerous HOL library improvements: main HOL, HOLCF, HOL-Library,
wenzelm@44975
    21
  Multivariate_Analysis, Probability.
wenzelm@44975
    22
wenzelm@44975
    23
* Updated and extended Isabelle/Isar reference manual.
wenzelm@37353
    24
wenzelm@12983
    25
wenzelm@44801
    26
You may get Isabelle2011-1 from the following mirror sites:
wenzelm@9928
    27
haftmann@27085
    28
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
haftmann@17696
    29
  Munich (Germany)     http://isabelle.in.tum.de/
kleing@14616
    30
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/