ANNOUNCE
changeset 68391 9b4f60bdad54
parent 66640 c61c957b0439
child 68545 7922992c99ea
     1.1 --- a/ANNOUNCE	Wed Jun 06 11:41:54 2018 +0200
     1.2 +++ b/ANNOUNCE	Wed Jun 06 11:49:16 2018 +0200
     1.3 @@ -1,32 +1,15 @@
     1.4 -Subject: Announcing Isabelle2017
     1.5 +Subject: Announcing Isabelle2018
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8 -Isabelle2017 is now available.
     1.9 +Isabelle2018 is now available.
    1.10  
    1.11 -This version introduces many changes over Isabelle2016-1: see the NEWS
    1.12 +This version introduces many changes over Isabelle2017: see the NEWS
    1.13  file for further details. Some notable points:
    1.14  
    1.15 -* Experimental support for Visual Studio Code as alternative PIDE front-end.
    1.16 -
    1.17 -* Improved Isabelle/jEdit Prover IDE: management of session sources
    1.18 -independently of editor buffers, removal of unused theories, explicit
    1.19 -indication of theory status, more careful auto-indentation.
    1.20 -
    1.21 -* Session-qualified theory imports.
    1.22 -
    1.23 -* Code generator improvements: support for statically embedded computations.
    1.24 -
    1.25 -* Numerous HOL library improvements.
    1.26 -
    1.27 -* More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis
    1.28 -(ported from HOL-Light).
    1.29 -
    1.30 -* Improved Nunchaku model finder, now in main HOL.
    1.31 -
    1.32 -* SQL database support in Isabelle/Scala.
    1.33 +* FIXME.
    1.34  
    1.35  
    1.36 -You may get Isabelle2017 from the following mirror sites:
    1.37 +You may get Isabelle2018 from the following mirror sites:
    1.38  
    1.39    Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
    1.40    Munich (Germany)     http://isabelle.in.tum.de