--- a/CONTRIBUTORS Mon Jun 07 17:13:36 2010 +0200
+++ b/CONTRIBUTORS Mon Jun 07 17:39:32 2010 +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 Isabelle2009-2
--------------------------------------
--- a/NEWS Mon Jun 07 17:13:36 2010 +0200
+++ b/NEWS Mon Jun 07 17:39:32 2010 +0200
@@ -1,6 +1,11 @@
Isabelle NEWS -- history user-relevant changes
==============================================
+New in this Isabelle version
+----------------------------
+
+
+
New in Isabelle2009-2 (June 2010)
---------------------------------