# HG changeset patch # User wenzelm # Date 1406468648 -7200 # Node ID 987c9ceeaafd40ff14a3215ef53d223fbaacd4a8 # Parent c0fd03d13d28954f6b7018f273b6edb17fcdeaf7 back to post-release mode -- after fork point; diff -r c0fd03d13d28 -r 987c9ceeaafd CONTRIBUTORS --- a/CONTRIBUTORS Sun Jul 27 15:29:42 2014 +0200 +++ b/CONTRIBUTORS Sun Jul 27 15:44:08 2014 +0200 @@ -3,6 +3,10 @@ who is listed as an author in one of the source files of this Isabelle distribution. +Contributions to this Isabelle version +-------------------------------------- + + Contributions to Isabelle2014 ----------------------------- diff -r c0fd03d13d28 -r 987c9ceeaafd NEWS --- a/NEWS Sun Jul 27 15:29:42 2014 +0200 +++ b/NEWS Sun Jul 27 15:44:08 2014 +0200 @@ -1,6 +1,11 @@ Isabelle NEWS -- history of user-relevant changes ================================================= +New in this Isabelle version +---------------------------- + + + New in Isabelle2014 (August 2014) ---------------------------------