# HG changeset patch
# User wenzelm
# Date 1213992153 -7200
# Node ID 0609faccb9033f5fc474f93c9c7f8aa58a6442bb
# Parent  2dbdfa4959821a54dded4b8a35309f861decad88
updated for 2008;
proper name of TUM;

diff -r 2dbdfa495982 -r 0609faccb903 COPYRIGHT
--- a/COPYRIGHT	Fri Jun 20 21:01:17 2008 +0200
+++ b/COPYRIGHT	Fri Jun 20 22:02:33 2008 +0200
@@ -1,6 +1,6 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (c) 2007,
+Copyright (c) 2008,
   University of Cambridge and
   Technische Universitaet Muenchen.
 
@@ -17,10 +17,10 @@
 notice, this list of conditions and the following disclaimer in the 
 documentation and/or other materials provided with the distribution.
 
-* Neither the name of the University of Cambridge or the Technical 
-University of Munich nor the names of their contributors may be used to 
-endorse or promote products derived from this software without specific 
-prior written permission.
+* Neither the name of the University of Cambridge or the Technische
+Universitaet Muenchen nor the names of their contributors may be used
+to endorse or promote products derived from this software without
+specific prior written permission.
 
 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS 
 IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED