--- a/CONTRIBUTORS Mon Jan 17 18:32:16 2011 +0100
+++ b/CONTRIBUTORS Mon Jan 17 20:20:51 2011 +0100
@@ -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 Isabelle2011
-----------------------------
--- a/NEWS Mon Jan 17 18:32:16 2011 +0100
+++ b/NEWS Mon Jan 17 20:20:51 2011 +0100
@@ -1,6 +1,11 @@
Isabelle NEWS -- history user-relevant changes
==============================================
+New in this Isabelle version
+----------------------------
+
+
+
New in Isabelle2011 (January 2011)
----------------------------------