Admin/polyml/LICENCE
author oheimb
Wed, 03 Apr 2002 10:21:13 +0200
changeset 13076 70704dd48bd5
parent 11073 e45b136716f5
permissions -rw-r--r--
bugfix concerning claset(), added limited support for ALLGOALS + fast_tac etc.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11073
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
     1
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
     2
    SOFTWARE  LICENCE FOR  COMPUTER  LANGUAGE  TRANSLATION
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
     3
    PROGRAM POLY/ML FOR
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
     4
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
     5
    CAMBRIDGE   UNIVERSITY  TECHNICAL   SERVICES   LIMITED
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
     6
    (registered   number  01069886)   (formerly   Lynxvale
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
     7
    Limited)  whose  registered  office  is   at  The  Old
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
     8
    Schools, Cambridge CB2 1TS
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
     9
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    10
    IMPORTANT   --  READ   CAREFULLY  BEFORE   USING   THE
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    11
    SOFTWARE:   This   Licence   Agreement   for   Poly/ML
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    12
    ("Licence  Agreement") is  a legal  agreement  between
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    13
    you,  either   an  individual   or  an  entity   ("the
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    14
    Licensee")   and   Cambridge    University   Technical
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    15
    Services  Limited  and  its  suppliers  and  licensors
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    16
    (collectively   "the  Licensor")   for  the   computer
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    17
    language translation program Poly/ML. You  may install
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    18
    a  copy  of  the Software  and  may  use  it  only  in
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    19
    accordance  with and  to  the  extent allowed  by  the
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    20
    terms  and conditions  of this  License Agreement.  By
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    21
    clicking on  the "Accept" button, installing,  copying
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    22
    or otherwise  so using the  Software, you agree to  be
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    23
    bound by the  terms of this Licence Agreement.  If you
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    24
    do not agree  to the terms of this  Licence Agreement,
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    25
    click on  the "Cancel"  button and/or  do not  install
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    26
    the Software. YOU  AGREE THAT YOUR USE OF  THE PROGRAM
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    27
    ACKNOWLEDGES  THAT   YOU  HAVE   READ  THIS   LICENCE,
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    28
    UNDERSTAND IT, AND AGREE TO  BE BOUND BY ITS TERMS AND
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    29
    CONDITIONS.
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    30
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    31
    OPERATIVE PROVISIONS:
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    32
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    33
    1. The Licensor grants to the Licensee a
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    34
    non-exclusive,   royalty-free  licence   to  use   the
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    35
    Software,  with  the  right  to   grant  sub-licences,
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    36
    subject   to  the   terms  and   conditions  of   this
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    37
    Agreement.
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    38
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    39
    2.  The  copyright  and  other  intellectual  property
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    40
    rights  of whatever  nature in  the  Software are  and
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    41
    shall   remain   the   property   of   the   Licensor.
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    42
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    43
    3. In this Agreement "Software"  means all versions of
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    44
    the computer language translation program  Poly/ML but
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    45
    not   including  any   Improvements  (as   hereinafter
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    46
    defined by Clause 4) to  such Software licensed to the
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    47
    Licensor pursuant to Clause 5.
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    48
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    49
    4.  The  copyright  and  other  intellectual  property
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    50
    rights  of   whatever  nature  in  any   improvements,
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    51
    enhancements or  modifications to  the source code  of
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    52
    the  Software  or  which  necessitate  access  to  the
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    53
    source code  of the Software  in order to be  compiled
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    54
    into a functioning  binary form and which are  made by
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    55
    the Licensee  ("the Improvements")  shall vest in  and
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    56
    be   and  remain   the  property   of  the   Licensee.
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    57
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    58
    5. The Licensee  grants to the Licensor in  good faith
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    59
    a  non-exclusive,  royalty-free  licence  to  use  any
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    60
    Improvements with the  right to grant sub-licences  to
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    61
    any  existing or  future  licensees of  the  Software.
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    62
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    63
    6. The Licensor  shall be bound to  grant sub-licenses
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    64
    of the  Improvements on  being requested  so to do  by
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    65
    any existing or  future Licensee of the  Software. The
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    66
    Improvements shall promptly  be made available by  the
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    67
    Licensee to  the Licensor and  by the Licensor to  any
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    68
    sub-licensee.   Such  Improvements   shall   be   made
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    69
    available to  a degree  of detail  sufficient for  the
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    70
    purposes of the  license granted under clause 5  or as
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    71
    required by the Licensor.
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    72
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    73
    7. Any  licence or sub-licence  granted by either  the
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    74
    Licensor or  the Licensee of  the Software and/or  the
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    75
    Improvements  shall contain  provisions  that  reflect
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    76
    the  provisions of  this  Agreement with  any  changes
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    77
    necessary   to   give   the   arrangements   efficacy.
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    78
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    79
    8. THIS SOFTWARE  IS PROVIDED BY THE LICENSOR  AND ANY
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    80
    CONTRIBUTING  LICENSEES  "AS  IS"  AND  ANY  WARRANTY,
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    81
    EXPRESS OR IMPLIED,  INCLUDING BUT NOT LIMITED  TO THE
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    82
    IMPLIED WARRANTIES OF MERCHANTABILITY AND  FITNESS FOR
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    83
    A  PARTICULAR PURPOSE,  ARE  DISCLAIMED. IN  NO  EVENT
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    84
    SHALL THE  LICENSOR OR  ANY CONTRIBUTING LICENSEES  BE
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    85
    LIABLE FOR ANY DIRECT, INDIRECT,  INCIDENTAL, SPECIAL,
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    86
    EXEMPLARY,  OR CONSEQUENTIAL  DAMAGES  (INCLUDING  BUT
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    87
    NOT  LIMITED TO  PROCUREMENT  OF SUBSTITUTE  GOODS  OR
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    88
    SERVICES; LOSS OF  USE, DATA, OR PROFITS;  OR BUSINESS
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    89
    INTERRUPTION)  HOWEVER CAUSED  AND  ON ANY  THEORY  OF
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    90
    LIABILITY, WHETHER  IN CONTRACT, STRICT LIABILITY,  OR
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    91
    TORT (INCLUDING NEGLIGENCE OR OTHERWISE)  OR OTHERWISE
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    92
    ARISING IN  ANY WAY OUT OF  THE USE OF THIS  SOFTWARE,
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    93
    EVEN IF  ADVISED OF  THE POSSIBILITY  OF SUCH  DAMAGE,
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    94
    EXCLUDING ANY PERSONAL  INJURY OR DEATH CAUSED  BY THE
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    95
    NEGLIGENCE  OF   THE  LICENSOR  OR  ANY   CONTRIBUTING
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    96
    LICENSEES.
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    97
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    98
    9.  This  Agreement  is  governed  by  and  is  to  be
e45b136716f5 polyml multiplatform setup;
wenzelm
parents:
diff changeset
    99
    construed in accordance with English law.