updated for release;
authorwenzelm
Mon Dec 31 13:20:23 2012 +0100 (2012-12-31)
changeset 50649dec036b63412
parent 50648 3fa343c5bc0a
child 50650 8922afc54b3d
updated for release;
COPYRIGHT
     1.1 --- a/COPYRIGHT	Mon Dec 31 13:16:51 2012 +0100
     1.2 +++ b/COPYRIGHT	Mon Dec 31 13:20:23 2012 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (c) 2012,
     1.7 +Copyright (c) 1986-2013,
     1.8    University of Cambridge,
     1.9    Technische Universitaet Muenchen,
    1.10    and contributors.