--- a/COPYRIGHT Thu May 08 17:14:01 2014 +0200
+++ b/COPYRIGHT Thu May 08 19:29:01 2014 +0200
@@ -1,6 +1,6 @@
ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
-Copyright (c) 1986-2013,
+Copyright (c) 1986-2014,
University of Cambridge,
Technische Universitaet Muenchen,
and contributors.