updated for 2011;
authorwenzelm
Fri Jan 07 14:36:41 2011 +0100 (2011-01-07)
changeset 414424cfb51a5a444
parent 41441 a7a03f856354
child 41443 6e93dfec9e76
updated for 2011;
emphasize "contributors" in the header as well, which are already mentioned in the body text;
COPYRIGHT
     1.1 --- a/COPYRIGHT	Fri Jan 07 13:24:09 2011 +0100
     1.2 +++ b/COPYRIGHT	Fri Jan 07 14:36:41 2011 +0100
     1.3 @@ -1,8 +1,9 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (c) 2010,
     1.7 -  University of Cambridge and
     1.8 -  Technische Universitaet Muenchen.
     1.9 +Copyright (c) 2011,
    1.10 +  University of Cambridge,
    1.11 +  Technische Universitaet Muenchen,
    1.12 +  and contributors.
    1.13  
    1.14    All rights reserved.
    1.15