ANNOUNCE
author wenzelm
Thu Nov 13 23:45:15 2014 +0100 (2014-11-13)
changeset 58999 ed09ae4ea2d8
parent 57524 b8448367f9c7
child 60016 6e6cc8c012a2
permissions -rw-r--r--
uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style;
discontinued obsolete 'txt_raw' (superseded by 'text_raw');
eliminated obsolete Outer_Syntax.markup (superseded by keyword kinds);
'text' and 'txt' no longer appear in Sidekick tree due to change of keyword kind;
changed tagging of diagnostic commands within proof;
     1 Subject: Announcing Isabelle2014
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     4 Isabelle2014 is now available.
     5 
     6 This version significantly improves upon Isabelle2013-2, see the NEWS
     7 file in the distribution for more details.  Some highlights are:
     8 
     9 * Improved Isabelle/jEdit Prover IDE: navigation, completion,
    10   spell-checking, Query panel, Simplifier Trace panel.
    11 
    12 * Support for auxiliary files within the Prover IDE, notably
    13   Isabelle/ML.
    14 
    15 * Support for official Standard ML within the Prover IDE,
    16   independently of Isabelle theory and proof development.
    17 
    18 * HOL: BNF datatypes and codatatypes within theory Main, with numerous
    19   add-on tools.
    20 
    21 * HOL tool enhancements: Nitpick, Sledgehammer.
    22 
    23 * HOL: internal SAT solver "cdclite" with models and proof traces.
    24 
    25 * HOL: updated SMT module, with support for SMT-LIB 2 and recent
    26   versions of Z3, as well as CVC3, CVC4.
    27 
    28 * HOL: numerous library enhancements: main HOL, HOL-Word,
    29   HOL-Multivariate_Analysis, HOL-Probability.
    30 
    31 * System integration: improved support of LaTeX on Windows platform.
    32 
    33 * Updated and extended manuals: codegen, datatypes, implementation,
    34   isar-ref, jedit, system.
    35 
    36 
    37 You may get Isabelle2014 from the following mirror sites:
    38 
    39   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    40   Munich (Germany)     http://isabelle.in.tum.de/
    41   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/