diff -r 7736b754b37f -r 508b4f6431ae COPYRIGHT --- a/COPYRIGHT Mon Feb 10 22:32:29 2020 +0100 +++ b/COPYRIGHT Mon Feb 10 22:33:03 2020 +0100 @@ -1,6 +1,6 @@ ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. -Copyright (c) 1986-2019, +Copyright (c) 1986-2020, University of Cambridge, Technische Universitaet Muenchen, and contributors.