# HG changeset patch # User wenzelm # Date 1477959633 -3600 # Node ID 2bafda87b524f133636cb59284580c16e4cff872 # Parent f91cae6c1d7468fb7daec78b5047a5e345f6746c back to post-release mode -- after fork point; diff -r f91cae6c1d74 -r 2bafda87b524 CONTRIBUTORS --- a/CONTRIBUTORS Tue Nov 01 01:04:53 2016 +0100 +++ b/CONTRIBUTORS Tue Nov 01 01:20:33 2016 +0100 @@ -3,6 +3,10 @@ listed as an author in one of the source files of this Isabelle distribution. +Contributions to this Isabelle version +-------------------------------------- + + Contributions to Isabelle2016-1 ------------------------------- diff -r f91cae6c1d74 -r 2bafda87b524 NEWS --- a/NEWS Tue Nov 01 01:04:53 2016 +0100 +++ b/NEWS Tue Nov 01 01:20:33 2016 +0100 @@ -3,6 +3,10 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) +New in this Isabelle version +---------------------------- + + New in Isabelle2016-1 (December 2016) -------------------------------------