ANNOUNCE
changeset 68567 b408728a002a
parent 68560 ad079be4f21c
child 68599 cc7b5e0355a5
equal deleted inserted replaced
68566:38c8b44b40b9 68567:b408728a002a
     2 To: isabelle-users@cl.cam.ac.uk
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     3 
     4 Isabelle2018 is now available.
     4 Isabelle2018 is now available.
     5 
     5 
     6 This version introduces many changes over Isabelle2017: see the NEWS
     6 This version introduces many changes over Isabelle2017: see the NEWS
     7 file for further details. Here are the main points:
     7 file for further details. Here are some notable points:
     8 
     8 
     9 * Improved infix notation within terms.
     9 * Improved infix notation within terms.
    10 
    10 
    11 * Improved syntax for formal comments, within terms and other languages.
    11 * Improved syntax for formal comments, within terms and other languages.
    12 
    12