updated for release;
authorwenzelm
Sat Apr 11 22:09:16 2015 +0200 (2015-04-11)
changeset 600166e6cc8c012a2
parent 60015 3aceecdabed6
child 60021 69e7fe18b7db
child 60022 ea987317a785
updated for release;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Sat Apr 11 21:44:38 2015 +0200
     1.2 +++ b/ANNOUNCE	Sat Apr 11 22:09:16 2015 +0200
     1.3 @@ -1,40 +1,15 @@
     1.4 -Subject: Announcing Isabelle2014
     1.5 +Subject: Announcing Isabelle2015
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8 -Isabelle2014 is now available.
     1.9 -
    1.10 -This version significantly improves upon Isabelle2013-2, see the NEWS
    1.11 -file in the distribution for more details.  Some highlights are:
    1.12 -
    1.13 -* Improved Isabelle/jEdit Prover IDE: navigation, completion,
    1.14 -  spell-checking, Query panel, Simplifier Trace panel.
    1.15 -
    1.16 -* Support for auxiliary files within the Prover IDE, notably
    1.17 -  Isabelle/ML.
    1.18 -
    1.19 -* Support for official Standard ML within the Prover IDE,
    1.20 -  independently of Isabelle theory and proof development.
    1.21 +Isabelle2015 is now available.
    1.22  
    1.23 -* HOL: BNF datatypes and codatatypes within theory Main, with numerous
    1.24 -  add-on tools.
    1.25 -
    1.26 -* HOL tool enhancements: Nitpick, Sledgehammer.
    1.27 -
    1.28 -* HOL: internal SAT solver "cdclite" with models and proof traces.
    1.29 +This version improves upon Isabelle2014 in many ways, see the NEWS file in
    1.30 +the distribution for more details. Important points are:
    1.31  
    1.32 -* HOL: updated SMT module, with support for SMT-LIB 2 and recent
    1.33 -  versions of Z3, as well as CVC3, CVC4.
    1.34 -
    1.35 -* HOL: numerous library enhancements: main HOL, HOL-Word,
    1.36 -  HOL-Multivariate_Analysis, HOL-Probability.
    1.37 -
    1.38 -* System integration: improved support of LaTeX on Windows platform.
    1.39 -
    1.40 -* Updated and extended manuals: codegen, datatypes, implementation,
    1.41 -  isar-ref, jedit, system.
    1.42 +* FIXME
    1.43  
    1.44  
    1.45 -You may get Isabelle2014 from the following mirror sites:
    1.46 +You may get Isabelle2015 from the following mirror sites:
    1.47  
    1.48    Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    1.49    Munich (Germany)     http://isabelle.in.tum.de/