# HG changeset patch # User wenzelm # Date 1358692467 -3600 # Node ID aafd4270b4d4186a1be2f6bf69fdb75512c8291c # Parent 2c3d0cb151c07469f16e5524bd175ea4a52785a7 back to post-release mode -- after fork point; diff -r 2c3d0cb151c0 -r aafd4270b4d4 CONTRIBUTORS --- a/CONTRIBUTORS Sun Jan 20 15:26:56 2013 +0100 +++ b/CONTRIBUTORS Sun Jan 20 15:34:27 2013 +0100 @@ -3,6 +3,9 @@ who is listed as an author in one of the source files of this Isabelle distribution. +Contributions to this Isabelle version +-------------------------------------- + Contributions to Isabelle2013 ----------------------------- diff -r 2c3d0cb151c0 -r aafd4270b4d4 NEWS --- a/NEWS Sun Jan 20 15:26:56 2013 +0100 +++ b/NEWS Sun Jan 20 15:34:27 2013 +0100 @@ -1,6 +1,10 @@ Isabelle NEWS -- history user-relevant changes ============================================== +New in this Isabelle version +---------------------------- + + New in Isabelle2013 (February 2013) -----------------------------------