# HG changeset patch
# User wenzelm
# Date 1191260614 -7200
# Node ID d04aaadfd7aef6502df4d7a7af82bf661eb89a6f
# Parent  3bc50959c7f084ab43a541e972970694e843d8c7
updated year to 2007;

diff -r 3bc50959c7f0 -r d04aaadfd7ae COPYRIGHT
--- a/COPYRIGHT	Mon Oct 01 19:42:40 2007 +0200
+++ b/COPYRIGHT	Mon Oct 01 19:43:34 2007 +0200
@@ -1,6 +1,6 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (c) 2005,
+Copyright (c) 2007,
   University of Cambridge and
   Technische Universitaet Muenchen.