update for release;
authorwenzelm
Thu May 08 19:29:01 2014 +0200 (2014-05-08)
changeset 56916b00a861d8f16
parent 56915 75ba0e310663
child 56917 7b65f4da136d
update for release;
COPYRIGHT
     1.1 --- a/COPYRIGHT	Thu May 08 17:14:01 2014 +0200
     1.2 +++ b/COPYRIGHT	Thu May 08 19:29:01 2014 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (c) 1986-2013,
     1.7 +Copyright (c) 1986-2014,
     1.8    University of Cambridge,
     1.9    Technische Universitaet Muenchen,
    1.10    and contributors.