diff -r 0472f2367efb -r a0459c50cfc9 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Sep 07 20:29:54 2011 +0200
+++ b/CONTRIBUTORS	Wed Sep 07 20:49:45 2011 +0200
@@ -3,8 +3,8 @@
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2011-1
+-------------------------------
 
 
 Contributions to Isabelle2011