--- 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
-----------------------------
--- 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)
-----------------------------------