ANNOUNCE
author wenzelm
Tue Jul 01 14:52:08 2014 +0200 (2014-07-01 ago)
changeset 57452 ecad2a53755a
parent 54639 5adc68deb322
child 57504 5cf245c62c4c
permissions -rw-r--r--
misc updates for release;
wenzelm@57452
     1
Subject: Announcing Isabelle2014
wenzelm@9928
     2
To: isabelle-users@cl.cam.ac.uk
wenzelm@9928
     3
wenzelm@57452
     4
Isabelle2014 is now available.
wenzelm@57452
     5
wenzelm@57452
     6
This version significantly improves upon Isabelle2013-2, see the NEWS
wenzelm@57452
     7
file in the distribution for more details.  Some highlights are:
wenzelm@44975
     8
wenzelm@57452
     9
* Improved Isabelle/jEdit Prover IDE: navigation, completion,
wenzelm@57452
    10
  spell-checking, Query panel, Simplifier Trace panel.
wenzelm@47869
    11
wenzelm@57452
    12
* Support for auxiliary files within the Prover IDE.
wenzelm@54034
    13
wenzelm@57452
    14
* Support for official Standard ML within the Prover IDE,
wenzelm@57452
    15
  independently of Isabelle theory and proof development.
wenzelm@54034
    16
wenzelm@57452
    17
* HOL: BNF datatypes and codatatypes within theory Main, with numerous
wenzelm@57452
    18
  add-on tools.
wenzelm@54034
    19
wenzelm@57452
    20
* HOL tool enhancements: Nitpick, Sledgehammer.
wenzelm@57452
    21
wenzelm@57452
    22
* HOL: numerous library enhancements: Main, HOL-Multivariate_Analysis,
wenzelm@57452
    23
  HOL-Probability.
wenzelm@54051
    24
wenzelm@57452
    25
* HOL: internal SAT solver "cdclite" with models and proof traces.
wenzelm@57452
    26
wenzelm@57452
    27
* HOL: updated SMT module, with support for SMT-LIB 2 and recent
wenzelm@57452
    28
  versions of Z3, as well as CVC3, CVC4.
wenzelm@54034
    29
wenzelm@57452
    30
* Updated and extended manuals: codegen, datatypes, implementation,
wenzelm@57452
    31
  isar-ref, jedit, system.
wenzelm@54034
    32
wenzelm@57452
    33
* System integration: improved support of LateX on Windows platform.
wenzelm@37353
    34
wenzelm@12983
    35
wenzelm@54639
    36
You may get Isabelle2013-2 from the following mirror sites:
wenzelm@9928
    37
haftmann@27085
    38
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
haftmann@17696
    39
  Munich (Germany)     http://isabelle.in.tum.de/
kleing@14616
    40
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/