NEWS
changeset 68392 9b4f60bdad54
parent 68373 f254e383bfe9
child 68394 b9989df11c78
     1.1 --- a/NEWS	Wed Jun 06 11:41:54 2018 +0200
     1.2 +++ b/NEWS	Wed Jun 06 11:49:16 2018 +0200
     1.3 @@ -4,8 +4,8 @@
     1.4  (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
     1.5  
     1.6  
     1.7 -New in this Isabelle version
     1.8 -----------------------------
     1.9 +New in Isabelle2018 (August 2018)
    1.10 +---------------------------------
    1.11  
    1.12  *** General ***
    1.13