ANNOUNCE
changeset 68567 b408728a002a
parent 68560 ad079be4f21c
child 68599 cc7b5e0355a5
     1.1 --- a/ANNOUNCE	Mon Jul 02 16:26:58 2018 +0200
     1.2 +++ b/ANNOUNCE	Mon Jul 02 16:25:41 2018 +0200
     1.3 @@ -4,7 +4,7 @@
     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. Here are the main points:
     1.8 +file for further details. Here are some notable points:
     1.9  
    1.10  * Improved infix notation within terms.
    1.11