changeset 68391 | 9b4f60bdad54 |
parent 68373 | f254e383bfe9 |
child 68393 | b9989df11c78 |
--- a/NEWS Wed Jun 06 11:41:54 2018 +0200 +++ b/NEWS Wed Jun 06 11:49:16 2018 +0200 @@ -4,8 +4,8 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) -New in this Isabelle version ----------------------------- +New in Isabelle2018 (August 2018) +--------------------------------- *** General ***