# HG changeset patch
# User wenzelm
# Date 1294407401 -3600
# Node ID 4cfb51a5a444ea1084f03694278810d520b55664
# Parent  a7a03f85635463a933d94bd8bff5071c736ac8df
updated for 2011;
emphasize "contributors" in the header as well, which are already mentioned in the body text;

diff -r a7a03f856354 -r 4cfb51a5a444 COPYRIGHT
--- a/COPYRIGHT	Fri Jan 07 13:24:09 2011 +0100
+++ b/COPYRIGHT	Fri Jan 07 14:36:41 2011 +0100
@@ -1,8 +1,9 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (c) 2010,
-  University of Cambridge and
-  Technische Universitaet Muenchen.
+Copyright (c) 2011,
+  University of Cambridge,
+  Technische Universitaet Muenchen,
+  and contributors.
 
   All rights reserved.