author | wenzelm |
Fri, 07 Jan 2011 14:36:41 +0100 | |
changeset 41442 | 4cfb51a5a444 |
parent 41441 | a7a03f856354 |
child 41443 | 6e93dfec9e76 |
--- 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.