# HG changeset patch # User wenzelm # Date 1504892266 -7200 # Node ID 435cb8d69e272e83423ee360db6ac316762290fd # Parent bcea02893d17d453f6a61f216e5319a3e5773cb3 back to post-release mode -- after fork point; diff -r bcea02893d17 -r 435cb8d69e27 CONTRIBUTORS --- a/CONTRIBUTORS Fri Sep 08 19:55:18 2017 +0200 +++ b/CONTRIBUTORS Fri Sep 08 19:37:46 2017 +0200 @@ -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 Isabelle2017 ----------------------------- diff -r bcea02893d17 -r 435cb8d69e27 NEWS --- a/NEWS Fri Sep 08 19:55:18 2017 +0200 +++ b/NEWS Fri Sep 08 19:37:46 2017 +0200 @@ -4,6 +4,10 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) +New in this Isabelle version +---------------------------- + + New in Isabelle2017 (October 2017) ----------------------------------