ANNOUNCE
changeset 57504 5cf245c62c4c
parent 57452 ecad2a53755a
child 57505 63e2163c4736
     1.1 --- a/ANNOUNCE	Fri Jul 04 11:39:34 2014 +0200
     1.2 +++ b/ANNOUNCE	Fri Jul 04 14:52:05 2014 +0200
     1.3 @@ -9,7 +9,8 @@
     1.4  * Improved Isabelle/jEdit Prover IDE: navigation, completion,
     1.5    spell-checking, Query panel, Simplifier Trace panel.
     1.6  
     1.7 -* Support for auxiliary files within the Prover IDE.
     1.8 +* Support for auxiliary files within the Prover IDE, notably
     1.9 +  Isabelle/ML.
    1.10  
    1.11  * Support for official Standard ML within the Prover IDE,
    1.12    independently of Isabelle theory and proof development.
    1.13 @@ -19,19 +20,19 @@
    1.14  
    1.15  * HOL tool enhancements: Nitpick, Sledgehammer.
    1.16  
    1.17 -* HOL: numerous library enhancements: Main, HOL-Multivariate_Analysis,
    1.18 -  HOL-Probability.
    1.19 -
    1.20  * HOL: internal SAT solver "cdclite" with models and proof traces.
    1.21  
    1.22  * HOL: updated SMT module, with support for SMT-LIB 2 and recent
    1.23    versions of Z3, as well as CVC3, CVC4.
    1.24  
    1.25 +* HOL: numerous library enhancements: Main, HOL-Multivariate_Analysis,
    1.26 +  HOL-Probability.
    1.27 +
    1.28 +* System integration: improved support of LateX on Windows platform.
    1.29 +
    1.30  * Updated and extended manuals: codegen, datatypes, implementation,
    1.31    isar-ref, jedit, system.
    1.32  
    1.33 -* System integration: improved support of LateX on Windows platform.
    1.34 -
    1.35  
    1.36  You may get Isabelle2013-2 from the following mirror sites:
    1.37