| changeset 68740 | 682ff0e84387 |
| parent 68734 | c14a2cc9b5ef |
| parent 68706 | f3763989d589 |
| child 68770 | add44e2b8cb0 |
--- a/NEWS Tue Aug 07 11:39:40 2018 +0200 +++ b/NEWS Sat Aug 11 16:02:55 2018 +0200 @@ -4,6 +4,11 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) +New in this Isabelle version +---------------------------- + + + New in Isabelle2018 (August 2018) ---------------------------------