ANNOUNCE
author wenzelm
Fri Jul 04 14:58:52 2014 +0200 (2014-07-04)
changeset 57505 63e2163c4736
parent 57504 5cf245c62c4c
child 57511 de51a86fc903
permissions -rw-r--r--
tuned;
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@12927
     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@9928
     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@57504
    12
* Support for auxiliary files within the Prover IDE, notably
wenzelm@57504
    13
  Isabelle/ML.
wenzelm@47869
    14
wenzelm@57452
    15
* Support for official Standard ML within the Prover IDE,
wenzelm@57452
    16
  independently of Isabelle theory and proof development.
wenzelm@54034
    17
wenzelm@57452
    18
* HOL: BNF datatypes and codatatypes within theory Main, with numerous
wenzelm@57452
    19
  add-on tools.
wenzelm@54051
    20
wenzelm@57452
    21
* HOL tool enhancements: Nitpick, Sledgehammer.
wenzelm@54034
    22
wenzelm@57452
    23
* HOL: internal SAT solver "cdclite" with models and proof traces.
wenzelm@57452
    24
wenzelm@57452
    25
* HOL: updated SMT module, with support for SMT-LIB 2 and recent
wenzelm@57452
    26
  versions of Z3, as well as CVC3, CVC4.
wenzelm@57452
    27
wenzelm@57505
    28
* HOL: numerous library enhancements: main HOL, HOL-Word,
wenzelm@57505
    29
  HOL-Multivariate_Analysis, HOL-Probability.
wenzelm@57504
    30
wenzelm@57504
    31
* System integration: improved support of LateX on Windows platform.
wenzelm@57504
    32
wenzelm@57452
    33
* Updated and extended manuals: codegen, datatypes, implementation,
wenzelm@57452
    34
  isar-ref, jedit, system.
wenzelm@57452
    35
wenzelm@54034
    36
wenzelm@54639
    37
You may get Isabelle2013-2 from the following mirror sites:
wenzelm@9928
    38
haftmann@27085
    39
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
haftmann@17696
    40
  Munich (Germany)     http://isabelle.in.tum.de/
kleing@14616
    41
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/