COPYRIGHT
changeset 67159 deccbba7cfe3
parent 62016 740c70a21523
child 68391 9b4f60bdad54
     1.1 --- a/COPYRIGHT	Thu Dec 31 21:06:09 2015 +0100
     1.2 +++ b/COPYRIGHT	Thu Dec 07 20:55:03 2017 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (c) 1986-2016,
     1.7 +Copyright (c) 1986-2017,
     1.8    University of Cambridge,
     1.9    Technische Universitaet Muenchen,
    1.10    and contributors.