--- a/CONTRIBUTORS Fri Dec 04 11:41:17 2009 +0100
+++ b/CONTRIBUTORS Fri Dec 04 11:44:57 2009 +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 Isabelle2009-1
-------------------------------
--- a/NEWS Fri Dec 04 11:41:17 2009 +0100
+++ b/NEWS Fri Dec 04 11:44:57 2009 +0100
@@ -1,6 +1,10 @@
Isabelle NEWS -- history user-relevant changes
==============================================
+New in this Isabelle version
+----------------------------
+
+
New in Isabelle2009-1 (December 2009)
-------------------------------------