COPYRIGHT
changeset 47462 8f85051693d1
parent 41442 4cfb51a5a444
child 50649 dec036b63412
     1.1 --- a/COPYRIGHT	Sat Apr 14 12:36:11 2012 +0200
     1.2 +++ b/COPYRIGHT	Sat Apr 14 12:46:45 2012 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (c) 2011,
     1.7 +Copyright (c) 2012,
     1.8    University of Cambridge,
     1.9    Technische Universitaet Muenchen,
    1.10    and contributors.