ANNOUNCE
changeset 60016 6e6cc8c012a2
parent 57524 b8448367f9c7
child 60116 5d90d301ad66
     1.1 --- a/ANNOUNCE	Sat Jul 05 20:51:24 2014 +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 +Isabelle2015 is now available.
    1.10  
    1.11 -This version significantly improves upon Isabelle2013-2, see the NEWS
    1.12 -file in the distribution for more details.  Some highlights are:
    1.13 +This version improves upon Isabelle2014 in many ways, see the NEWS file in
    1.14 +the distribution for more details. Important points are:
    1.15  
    1.16 -* Improved Isabelle/jEdit Prover IDE: navigation, completion,
    1.17 -  spell-checking, Query panel, Simplifier Trace panel.
    1.18 +* FIXME
    1.19  
    1.20 -* Support for auxiliary files within the Prover IDE, notably
    1.21 -  Isabelle/ML.
    1.22  
    1.23 -* Support for official Standard ML within the Prover IDE,
    1.24 -  independently of Isabelle theory and proof development.
    1.25 -
    1.26 -* HOL: BNF datatypes and codatatypes within theory Main, with numerous
    1.27 -  add-on tools.
    1.28 -
    1.29 -* HOL tool enhancements: Nitpick, Sledgehammer.
    1.30 -
    1.31 -* HOL: internal SAT solver "cdclite" with models and proof traces.
    1.32 -
    1.33 -* HOL: updated SMT module, with support for SMT-LIB 2 and recent
    1.34 -  versions of Z3, as well as CVC3, CVC4.
    1.35 -
    1.36 -* HOL: numerous library enhancements: main HOL, HOL-Word,
    1.37 -  HOL-Multivariate_Analysis, HOL-Probability.
    1.38 -
    1.39 -* System integration: improved support of LaTeX on Windows platform.
    1.40 -
    1.41 -* Updated and extended manuals: codegen, datatypes, implementation,
    1.42 -  isar-ref, jedit, system.
    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/