| changeset 64072 | 9f96e4da3064 |
| parent 64013 | 048b7dbfdfa3 |
| child 64073 | cffd5f537206 |
--- a/NEWS Fri Oct 07 09:29:11 2016 +0200 +++ b/NEWS Fri Oct 07 10:23:50 2016 +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 Isabelle2016-1 (December 2016) +------------------------------------- *** General ***