ANNOUNCE
changeset 68545 7922992c99ea
parent 68391 9b4f60bdad54
child 68560 ad079be4f21c
     1.1 --- a/ANNOUNCE	Fri Jun 29 19:53:15 2018 +0200
     1.2 +++ b/ANNOUNCE	Fri Jun 29 20:11:17 2018 +0200
     1.3 @@ -4,9 +4,25 @@
     1.4  Isabelle2018 is now available.
     1.5  
     1.6  This version introduces many changes over Isabelle2017: see the NEWS
     1.7 -file for further details. Some notable points:
     1.8 +file for further details. Here are the main points:
     1.9 +
    1.10 +* Improved infix notation within terms.
    1.11 +
    1.12 +* Improved syntax for formal comments, within terms and other languages.
    1.13 +
    1.14 +* Improved management of ROOT files and session-qualified theories.
    1.15 +
    1.16 +* Various improvements of document preparation.
    1.17  
    1.18 -* FIXME.
    1.19 +* Many Isabelle/jEdit improvements, including semantic IDE for Bibtex.
    1.20 +
    1.21 +* Numerous HOL library improvements, including HOL-Algebra.
    1.22 +
    1.23 +* Substantial additions to HOL-Analysis.
    1.24 +
    1.25 +* Isabelle server for reactive communication with other programs.
    1.26 +
    1.27 +* More uniform 64-bit platform support: smaller Isabelle application.
    1.28  
    1.29  
    1.30  You may get Isabelle2018 from the following mirror sites: