updated for 2008;
authorwenzelm
Fri Jun 20 22:02:33 2008 +0200 (2008-06-20)
changeset 273060609faccb903
parent 27305 2dbdfa495982
child 27307 70c98cd37161
updated for 2008;
proper name of TUM;
COPYRIGHT
     1.1 --- a/COPYRIGHT	Fri Jun 20 21:01:17 2008 +0200
     1.2 +++ b/COPYRIGHT	Fri Jun 20 22:02:33 2008 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (c) 2007,
     1.7 +Copyright (c) 2008,
     1.8    University of Cambridge and
     1.9    Technische Universitaet Muenchen.
    1.10  
    1.11 @@ -17,10 +17,10 @@
    1.12  notice, this list of conditions and the following disclaimer in the 
    1.13  documentation and/or other materials provided with the distribution.
    1.14  
    1.15 -* Neither the name of the University of Cambridge or the Technical 
    1.16 -University of Munich nor the names of their contributors may be used to 
    1.17 -endorse or promote products derived from this software without specific 
    1.18 -prior written permission.
    1.19 +* Neither the name of the University of Cambridge or the Technische
    1.20 +Universitaet Muenchen nor the names of their contributors may be used
    1.21 +to endorse or promote products derived from this software without
    1.22 +specific prior written permission.
    1.23  
    1.24  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS 
    1.25  IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED