COPYRIGHT
changeset 27306 0609faccb903
parent 24798 d04aaadfd7ae
child 30895 bad26d8f0adf
equal deleted inserted replaced
27305:2dbdfa495982 27306:0609faccb903
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     2 
     2 
     3 Copyright (c) 2007,
     3 Copyright (c) 2008,
     4   University of Cambridge and
     4   University of Cambridge and
     5   Technische Universitaet Muenchen.
     5   Technische Universitaet Muenchen.
     6 
     6 
     7   All rights reserved.
     7   All rights reserved.
     8 
     8 
    15 
    15 
    16 * Redistributions in binary form must reproduce the above copyright 
    16 * Redistributions in binary form must reproduce the above copyright 
    17 notice, this list of conditions and the following disclaimer in the 
    17 notice, this list of conditions and the following disclaimer in the 
    18 documentation and/or other materials provided with the distribution.
    18 documentation and/or other materials provided with the distribution.
    19 
    19 
    20 * Neither the name of the University of Cambridge or the Technical 
    20 * Neither the name of the University of Cambridge or the Technische
    21 University of Munich nor the names of their contributors may be used to 
    21 Universitaet Muenchen nor the names of their contributors may be used
    22 endorse or promote products derived from this software without specific 
    22 to endorse or promote products derived from this software without
    23 prior written permission.
    23 specific prior written permission.
    24 
    24 
    25 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS 
    25 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS 
    26 IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 
    26 IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 
    27 TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A 
    27 TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A 
    28 PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 
    28 PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT