author | Alan Coopersmith <Alan.Coopersmith@Oracle.COM> |
Mon, 25 Apr 2016 23:38:13 -0700 | |
changeset 5890 | e3686c085735 |
parent 3622 | 0ad0ca4eca8e |
permissions | -rw-r--r-- |
3622
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
1 |
In the following, "the Library" refers to all files marked "Copyright |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
2 |
INRIA" in the following directories and their sub-directories: |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
3 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
4 |
asmrun, byterun, camlp4, config, otherlibs, stdlib, win32caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
5 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
6 |
and "the Compiler" refers to all files marked "Copyright INRIA" in the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
7 |
following directories and their sub-directories: |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
8 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
9 |
asmcomp, boot, bytecomp, debugger, driver, lex, ocamldoc, parsing, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
10 |
tools, toplevel, typing, utils, yacc |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
11 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
12 |
The Compiler is distributed under the terms of the Q Public License |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
13 |
version 1.0 with a change to choice of law (included below). |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
14 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
15 |
The Library is distributed under the terms of the GNU Library General |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
16 |
Public License version 2 (included below). |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
17 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
18 |
As a special exception to the Q Public Licence, you may develop |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
19 |
application programs, reusable components and other software items |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
20 |
that link with the original or modified versions of the Compiler |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
21 |
and are not made available to the general public, without any of the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
22 |
additional requirements listed in clause 6c of the Q Public licence. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
23 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
24 |
As a special exception to the GNU Library General Public License, you |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
25 |
may link, statically or dynamically, a "work that uses the Library" |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
26 |
with a publicly distributed version of the Library to produce an |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
27 |
executable file containing portions of the Library, and distribute |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
28 |
that executable file under terms of your choice, without any of the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
29 |
additional requirements listed in clause 6 of the GNU Library General |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
30 |
Public License. By "a publicly distributed version of the Library", |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
31 |
we mean either the unmodified Library as distributed by INRIA, or a |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
32 |
modified version of the Library that is distributed under the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
33 |
conditions defined in clause 2 of the GNU Library General Public |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
34 |
License. This exception does not however invalidate any other reasons |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
35 |
why the executable file might be covered by the GNU Library General |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
36 |
Public License. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
37 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
38 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
39 |
THE Q PUBLIC LICENSE |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
40 |
version 1.0 |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
41 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
42 |
Copyright (C) 1999-2005 Trolltech AS, Norway. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
43 |
Everyone is permitted to copy and distribute this license document. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
44 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
45 |
The intent of this license is to establish freedom to share and change the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
46 |
software regulated by this license under the open source model. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
47 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
48 |
This license applies to any software containing a notice placed by the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
49 |
copyright holder saying that it may be distributed under the terms of |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
50 |
the Q Public License version 1.0. Such software is herein referred to as |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
51 |
the Software. This license covers modification and distribution of the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
52 |
Software, use of third-party application programs based on the Software, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
53 |
and development of free software which uses the Software. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
54 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
55 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
56 |
Granted Rights |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
57 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
58 |
1. You are granted the non-exclusive rights set forth in this license |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
59 |
provided you agree to and comply with any and all conditions in this |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
60 |
license. Whole or partial distribution of the Software, or software |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
61 |
items that link with the Software, in any form signifies acceptance of |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
62 |
this license. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
63 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
64 |
2. You may copy and distribute the Software in unmodified form provided |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
65 |
that the entire package, including - but not restricted to - copyright, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
66 |
trademark notices and disclaimers, as released by the initial developer |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
67 |
of the Software, is distributed. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
68 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
69 |
3. You may make modifications to the Software and distribute your |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
70 |
modifications, in a form that is separate from the Software, such as |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
71 |
patches. The following restrictions apply to modifications: |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
72 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
73 |
a. Modifications must not alter or remove any copyright notices in |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
74 |
the Software. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
75 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
76 |
b. When modifications to the Software are released under this |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
77 |
license, a non-exclusive royalty-free right is granted to the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
78 |
initial developer of the Software to distribute your modification |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
79 |
in future versions of the Software provided such versions remain |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
80 |
available under these terms in addition to any other license(s) of |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
81 |
the initial developer. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
82 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
83 |
4. You may distribute machine-executable forms of the Software or |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
84 |
machine-executable forms of modified versions of the Software, provided |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
85 |
that you meet these restrictions: |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
86 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
87 |
a. You must include this license document in the distribution. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
88 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
89 |
b. You must ensure that all recipients of the machine-executable forms |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
90 |
are also able to receive the complete machine-readable source code |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
91 |
to the distributed Software, including all modifications, without |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
92 |
any charge beyond the costs of data transfer, and place prominent |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
93 |
notices in the distribution explaining this. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
94 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
95 |
c. You must ensure that all modifications included in the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
96 |
machine-executable forms are available under the terms of this |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
97 |
license. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
98 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
99 |
5. You may use the original or modified versions of the Software to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
100 |
compile, link and run application programs legally developed by you |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
101 |
or by others. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
102 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
103 |
6. You may develop application programs, reusable components and other |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
104 |
software items that link with the original or modified versions of the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
105 |
Software. These items, when distributed, are subject to the following |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
106 |
requirements: |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
107 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
108 |
a. You must ensure that all recipients of machine-executable forms of |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
109 |
these items are also able to receive and use the complete |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
110 |
machine-readable source code to the items without any charge |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
111 |
beyond the costs of data transfer. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
112 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
113 |
b. You must explicitly license all recipients of your items to use |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
114 |
and re-distribute original and modified versions of the items in |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
115 |
both machine-executable and source code forms. The recipients must |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
116 |
be able to do so without any charges whatsoever, and they must be |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
117 |
able to re-distribute to anyone they choose. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
118 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
119 |
c. If the items are not available to the general public, and the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
120 |
initial developer of the Software requests a copy of the items, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
121 |
then you must supply one. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
122 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
123 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
124 |
Limitations of Liability |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
125 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
126 |
In no event shall the initial developers or copyright holders be liable |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
127 |
for any damages whatsoever, including - but not restricted to - lost |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
128 |
revenue or profits or other direct, indirect, special, incidental or |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
129 |
consequential damages, even if they have been advised of the possibility |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
130 |
of such damages, except to the extent invariable law, if any, provides |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
131 |
otherwise. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
132 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
133 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
134 |
No Warranty |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
135 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
136 |
The Software and this license document are provided AS IS with NO WARRANTY |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
137 |
OF ANY KIND, INCLUDING THE WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
138 |
FOR A PARTICULAR PURPOSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
139 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
140 |
Choice of Law |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
141 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
142 |
This license is governed by the Laws of Norway. Disputes shall be settled |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
143 |
by Oslo City Court. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
144 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
145 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
146 |
GNU GENERAL PUBLIC LICENSE |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
147 |
Version 2, June 1991 |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
148 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
149 |
Copyright (C) 1989, 1991 Free Software Foundation, Inc. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
150 |
675 Mass Ave, Cambridge, MA 02139, USA |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
151 |
Everyone is permitted to copy and distribute verbatim copies |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
152 |
of this license document, but changing it is not allowed. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
153 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
154 |
Preamble |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
155 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
156 |
The licenses for most software are designed to take away your |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
157 |
freedom to share and change it. By contrast, the GNU General Public |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
158 |
License is intended to guarantee your freedom to share and change free |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
159 |
software--to make sure the software is free for all its users. This |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
160 |
General Public License applies to most of the Free Software |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
161 |
Foundation's software and to any other program whose authors commit to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
162 |
using it. (Some other Free Software Foundation software is covered by |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
163 |
the GNU Library General Public License instead.) You can apply it to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
164 |
your programs, too. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
165 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
166 |
When we speak of free software, we are referring to freedom, not |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
167 |
price. Our General Public Licenses are designed to make sure that you |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
168 |
have the freedom to distribute copies of free software (and charge for |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
169 |
this service if you wish), that you receive source code or can get it |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
170 |
if you want it, that you can change the software or use pieces of it |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
171 |
in new free programs; and that you know you can do these things. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
172 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
173 |
To protect your rights, we need to make restrictions that forbid |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
174 |
anyone to deny you these rights or to ask you to surrender the rights. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
175 |
These restrictions translate to certain responsibilities for you if you |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
176 |
distribute copies of the software, or if you modify it. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
177 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
178 |
For example, if you distribute copies of such a program, whether |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
179 |
gratis or for a fee, you must give the recipients all the rights that |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
180 |
you have. You must make sure that they, too, receive or can get the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
181 |
source code. And you must show them these terms so they know their |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
182 |
rights. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
183 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
184 |
We protect your rights with two steps: (1) copyright the software, and |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
185 |
(2) offer you this license which gives you legal permission to copy, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
186 |
distribute and/or modify the software. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
187 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
188 |
Also, for each author's protection and ours, we want to make certain |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
189 |
that everyone understands that there is no warranty for this free |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
190 |
software. If the software is modified by someone else and passed on, we |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
191 |
want its recipients to know that what they have is not the original, so |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
192 |
that any problems introduced by others will not reflect on the original |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
193 |
authors' reputations. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
194 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
195 |
Finally, any free program is threatened constantly by software |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
196 |
patents. We wish to avoid the danger that redistributors of a free |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
197 |
program will individually obtain patent licenses, in effect making the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
198 |
program proprietary. To prevent this, we have made it clear that any |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
199 |
patent must be licensed for everyone's free use or not licensed at all. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
200 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
201 |
The precise terms and conditions for copying, distribution and |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
202 |
modification follow. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
203 |
^L |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
204 |
GNU GENERAL PUBLIC LICENSE |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
205 |
TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
206 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
207 |
0. This License applies to any program or other work which contains |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
208 |
a notice placed by the copyright holder saying it may be distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
209 |
under the terms of this General Public License. The "Program", below, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
210 |
refers to any such program or work, and a "work based on the Program" |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
211 |
means either the Program or any derivative work under copyright law: |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
212 |
that is to say, a work containing the Program or a portion of it, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
213 |
either verbatim or with modifications and/or translated into another |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
214 |
language. (Hereinafter, translation is included without limitation in |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
215 |
the term "modification".) Each licensee is addressed as "you". |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
216 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
217 |
Activities other than copying, distribution and modification are not |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
218 |
covered by this License; they are outside its scope. The act of |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
219 |
running the Program is not restricted, and the output from the Program |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
220 |
is covered only if its contents constitute a work based on the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
221 |
Program (independent of having been made by running the Program). |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
222 |
Whether that is true depends on what the Program does. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
223 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
224 |
1. You may copy and distribute verbatim copies of the Program's |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
225 |
source code as you receive it, in any medium, provided that you |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
226 |
conspicuously and appropriately publish on each copy an appropriate |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
227 |
copyright notice and disclaimer of warranty; keep intact all the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
228 |
notices that refer to this License and to the absence of any warranty; |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
229 |
and give any other recipients of the Program a copy of this License |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
230 |
along with the Program. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
231 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
232 |
You may charge a fee for the physical act of transferring a copy, and |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
233 |
you may at your option offer warranty protection in exchange for a fee. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
234 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
235 |
2. You may modify your copy or copies of the Program or any portion |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
236 |
of it, thus forming a work based on the Program, and copy and |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
237 |
distribute such modifications or work under the terms of Section 1 |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
238 |
above, provided that you also meet all of these conditions: |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
239 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
240 |
a) You must cause the modified files to carry prominent notices |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
241 |
stating that you changed the files and the date of any change. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
242 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
243 |
b) You must cause any work that you distribute or publish, that in |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
244 |
whole or in part contains or is derived from the Program or any |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
245 |
part thereof, to be licensed as a whole at no charge to all third |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
246 |
parties under the terms of this License. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
247 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
248 |
c) If the modified program normally reads commands interactively |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
249 |
when run, you must cause it, when started running for such |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
250 |
interactive use in the most ordinary way, to print or display an |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
251 |
announcement including an appropriate copyright notice and a |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
252 |
notice that there is no warranty (or else, saying that you provide |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
253 |
a warranty) and that users may redistribute the program under |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
254 |
these conditions, and telling the user how to view a copy of this |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
255 |
License. (Exception: if the Program itself is interactive but |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
256 |
does not normally print such an announcement, your work based on |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
257 |
the Program is not required to print an announcement.) |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
258 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
259 |
These requirements apply to the modified work as a whole. If |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
260 |
identifiable sections of that work are not derived from the Program, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
261 |
and can be reasonably considered independent and separate works in |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
262 |
themselves, then this License, and its terms, do not apply to those |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
263 |
sections when you distribute them as separate works. But when you |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
264 |
distribute the same sections as part of a whole which is a work based |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
265 |
on the Program, the distribution of the whole must be on the terms of |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
266 |
this License, whose permissions for other licensees extend to the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
267 |
entire whole, and thus to each and every part regardless of who wrote it. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
268 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
269 |
Thus, it is not the intent of this section to claim rights or contest |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
270 |
your rights to work written entirely by you; rather, the intent is to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
271 |
exercise the right to control the distribution of derivative or |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
272 |
collective works based on the Program. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
273 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
274 |
In addition, mere aggregation of another work not based on the Program |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
275 |
with the Program (or with a work based on the Program) on a volume of |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
276 |
a storage or distribution medium does not bring the other work under |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
277 |
the scope of this License. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
278 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
279 |
3. You may copy and distribute the Program (or a work based on it, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
280 |
under Section 2) in object code or executable form under the terms of |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
281 |
Sections 1 and 2 above provided that you also do one of the following: |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
282 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
283 |
a) Accompany it with the complete corresponding machine-readable |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
284 |
source code, which must be distributed under the terms of Sections |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
285 |
1 and 2 above on a medium customarily used for software interchange; or, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
286 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
287 |
b) Accompany it with a written offer, valid for at least three |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
288 |
years, to give any third party, for a charge no more than your |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
289 |
cost of physically performing source distribution, a complete |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
290 |
machine-readable copy of the corresponding source code, to be |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
291 |
distributed under the terms of Sections 1 and 2 above on a medium |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
292 |
customarily used for software interchange; or, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
293 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
294 |
c) Accompany it with the information you received as to the offer |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
295 |
to distribute corresponding source code. (This alternative is |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
296 |
allowed only for noncommercial distribution and only if you |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
297 |
received the program in object code or executable form with such |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
298 |
an offer, in accord with Subsection b above.) |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
299 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
300 |
The source code for a work means the preferred form of the work for |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
301 |
making modifications to it. For an executable work, complete source |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
302 |
code means all the source code for all modules it contains, plus any |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
303 |
associated interface definition files, plus the scripts used to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
304 |
control compilation and installation of the executable. However, as a |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
305 |
special exception, the source code distributed need not include |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
306 |
anything that is normally distributed (in either source or binary |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
307 |
form) with the major components (compiler, kernel, and so on) of the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
308 |
operating system on which the executable runs, unless that component |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
309 |
itself accompanies the executable. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
310 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
311 |
If distribution of executable or object code is made by offering |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
312 |
access to copy from a designated place, then offering equivalent |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
313 |
access to copy the source code from the same place counts as |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
314 |
distribution of the source code, even though third parties are not |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
315 |
compelled to copy the source along with the object code. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
316 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
317 |
4. You may not copy, modify, sublicense, or distribute the Program |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
318 |
except as expressly provided under this License. Any attempt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
319 |
otherwise to copy, modify, sublicense or distribute the Program is |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
320 |
void, and will automatically terminate your rights under this License. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
321 |
However, parties who have received copies, or rights, from you under |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
322 |
this License will not have their licenses terminated so long as such |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
323 |
parties remain in full compliance. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
324 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
325 |
5. You are not required to accept this License, since you have not |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
326 |
signed it. However, nothing else grants you permission to modify or |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
327 |
distribute the Program or its derivative works. These actions are |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
328 |
prohibited by law if you do not accept this License. Therefore, by |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
329 |
modifying or distributing the Program (or any work based on the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
330 |
Program), you indicate your acceptance of this License to do so, and |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
331 |
all its terms and conditions for copying, distributing or modifying |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
332 |
the Program or works based on it. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
333 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
334 |
6. Each time you redistribute the Program (or any work based on the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
335 |
Program), the recipient automatically receives a license from the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
336 |
original licensor to copy, distribute or modify the Program subject to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
337 |
these terms and conditions. You may not impose any further |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
338 |
restrictions on the recipients' exercise of the rights granted herein. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
339 |
You are not responsible for enforcing compliance by third parties to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
340 |
this License. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
341 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
342 |
7. If, as a consequence of a court judgment or allegation of patent |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
343 |
infringement or for any other reason (not limited to patent issues), |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
344 |
conditions are imposed on you (whether by court order, agreement or |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
345 |
otherwise) that contradict the conditions of this License, they do not |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
346 |
excuse you from the conditions of this License. If you cannot |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
347 |
distribute so as to satisfy simultaneously your obligations under this |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
348 |
License and any other pertinent obligations, then as a consequence you |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
349 |
may not distribute the Program at all. For example, if a patent |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
350 |
license would not permit royalty-free redistribution of the Program by |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
351 |
all those who receive copies directly or indirectly through you, then |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
352 |
the only way you could satisfy both it and this License would be to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
353 |
refrain entirely from distribution of the Program. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
354 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
355 |
If any portion of this section is held invalid or unenforceable under |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
356 |
any particular circumstance, the balance of the section is intended to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
357 |
apply and the section as a whole is intended to apply in other |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
358 |
circumstances. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
359 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
360 |
It is not the purpose of this section to induce you to infringe any |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
361 |
patents or other property right claims or to contest validity of any |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
362 |
such claims; this section has the sole purpose of protecting the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
363 |
integrity of the free software distribution system, which is |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
364 |
implemented by public license practices. Many people have made |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
365 |
generous contributions to the wide range of software distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
366 |
through that system in reliance on consistent application of that |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
367 |
system; it is up to the author/donor to decide if he or she is willing |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
368 |
to distribute software through any other system and a licensee cannot |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
369 |
impose that choice. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
370 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
371 |
This section is intended to make thoroughly clear what is believed to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
372 |
be a consequence of the rest of this License. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
373 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
374 |
8. If the distribution and/or use of the Program is restricted in |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
375 |
certain countries either by patents or by copyrighted interfaces, the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
376 |
original copyright holder who places the Program under this License |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
377 |
may add an explicit geographical distribution limitation excluding |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
378 |
those countries, so that distribution is permitted only in or among |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
379 |
countries not thus excluded. In such case, this License incorporates |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
380 |
the limitation as if written in the body of this License. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
381 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
382 |
9. The Free Software Foundation may publish revised and/or new versions |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
383 |
of the General Public License from time to time. Such new versions will |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
384 |
be similar in spirit to the present version, but may differ in detail to |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
385 |
address new problems or concerns. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
386 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
387 |
Each version is given a distinguishing version number. If the Program |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
388 |
specifies a version number of this License which applies to it and "any |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
389 |
later version", you have the option of following the terms and conditions |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
390 |
either of that version or of any later version published by the Free |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
391 |
Software Foundation. If the Program does not specify a version number of |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
392 |
this License, you may choose any version ever published by the Free Software |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
393 |
Foundation. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
394 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
395 |
10. If you wish to incorporate parts of the Program into other free |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
396 |
programs whose distribution conditions are different, write to the author |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
397 |
to ask for permission. For software which is copyrighted by the Free |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
398 |
Software Foundation, write to the Free Software Foundation; we sometimes |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
399 |
make exceptions for this. Our decision will be guided by the two goals |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
400 |
of preserving the free status of all derivatives of our free software and |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
401 |
of promoting the sharing and reuse of software generally. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
402 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
403 |
NO WARRANTY |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
404 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
405 |
11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
406 |
FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
407 |
OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
408 |
PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
409 |
OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
410 |
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
411 |
TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
412 |
PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
413 |
REPAIR OR CORRECTION. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
414 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
415 |
12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
416 |
WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
417 |
REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
418 |
INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
419 |
OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
420 |
TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
421 |
YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
422 |
PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
423 |
POSSIBILITY OF SUCH DAMAGES. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
424 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
425 |
END OF TERMS AND CONDITIONS |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
426 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
427 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
428 |
Appendix: How to Apply These Terms to Your New Libraries |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
429 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
430 |
If you develop a new library, and you want it to be of the greatest |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
431 |
possible use to the public, we recommend making it free software that |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
432 |
everyone can redistribute and change. You can do so by permitting |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
433 |
redistribution under these terms (or, alternatively, under the terms of the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
434 |
ordinary General Public License). |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
435 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
436 |
To apply these terms, attach the following notices to the library. It is |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
437 |
safest to attach them to the start of each source file to most effectively |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
438 |
convey the exclusion of warranty; and each file should have at least the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
439 |
"copyright" line and a pointer to where the full notice is found. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
440 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
441 |
<one line to give the library's name and a brief idea of what it does.> |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
442 |
Copyright (C) <year> <name of author> |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
443 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
444 |
This library is free software; you can redistribute it and/or |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
445 |
modify it under the terms of the GNU Library General Public |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
446 |
License as published by the Free Software Foundation; either |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
447 |
version 2 of the License, or (at your option) any later version. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
448 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
449 |
This library is distributed in the hope that it will be useful, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
450 |
but WITHOUT ANY WARRANTY; without even the implied warranty of |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
451 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
452 |
Library General Public License for more details. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
453 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
454 |
You should have received a copy of the GNU Library General Public |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
455 |
License along with this library; if not, write to the Free |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
456 |
Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
457 |
MA 02111-1307, USA |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
458 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
459 |
Also add information on how to contact you by electronic and paper mail. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
460 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
461 |
You should also get your employer (if you work as a programmer) or your |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
462 |
school, if any, to sign a "copyright disclaimer" for the library, if |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
463 |
necessary. Here is a sample; alter the names: |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
464 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
465 |
Yoyodyne, Inc., hereby disclaims all copyright interest in the |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
466 |
library `Frob' (a library for tweaking knobs) written by James Random Hacker. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
467 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
468 |
<signature of Ty Coon>, 1 April 1990 |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
469 |
Ty Coon, President of Vice |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
470 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
471 |
That's all there is to it! |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
472 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
473 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
474 |
Copyright in source: |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
475 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
476 |
Objective Caml LablTk library |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
477 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
478 |
Francois Rouaix, Francois Pessaux and Jun Furuse |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
479 |
projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
480 |
Jacques Garrigue, Kyoto University RIMS |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
481 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
482 |
Copyright 1999 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
483 |
en Automatique and Kyoto University. All rights reserved. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
484 |
This file is distributed under the terms of the GNU Library |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
485 |
General Public License, with the special exception on linking |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
486 |
described in file ../../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
487 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
488 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
489 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
490 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
491 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
492 |
Copyright 1998 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
493 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
494 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
495 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
496 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
497 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
498 |
Copyright 2004 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
499 |
Jacob Navia, after Xavier Leroy |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
500 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
501 |
Copyright 2001 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
502 |
Jun Furuse, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
503 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
504 |
Copyright 2001 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
505 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
506 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
507 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
508 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
509 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
510 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
511 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
512 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
513 |
Copyright 2004 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
514 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
515 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
516 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
517 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
518 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
519 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
520 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
521 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
522 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
523 |
Copyright 2003 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
524 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
525 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
526 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
527 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
528 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
529 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
530 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
531 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
532 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
533 |
Nicolas Pouillard, projet Gallium, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
534 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
535 |
Copyright 2007 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
536 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
537 |
under the terms of the Q Public License version 1.0. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
538 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
539 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
540 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
541 |
Developed by Jacob Navia |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
542 |
Copyright 2001 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
543 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
544 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
545 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
546 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
547 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
548 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
549 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
550 |
Xavier Leroy, projet Gallium, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
551 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
552 |
Copyright 2006 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
553 |
Damien Doligez, Projet Moscova, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
554 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
555 |
Copyright 2003 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
556 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
557 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
558 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
559 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
560 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
561 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
562 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
563 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
564 |
Jacob Navia, after Xavier Leroy |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
565 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
566 |
Copyright 2001 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
567 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
568 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
569 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
570 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
571 |
Contributed by Tracy Camp, PolyServe Inc., <[email protected]> |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
572 |
Further improvements by Reed Wilson |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
573 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
574 |
Copyright 2002 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
575 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
576 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
577 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
578 |
under the terms of the GNU Library General Public License. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
579 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
580 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
581 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
582 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
583 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
584 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
585 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
586 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
587 |
under the terms of the Q Public License version 1.0. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
588 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
589 |
Copyright 1999 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
590 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
591 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
592 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
593 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
594 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
595 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
596 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
597 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
598 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
599 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
600 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
601 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
602 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
603 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
604 |
Damien Doligez, projet Moscova, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
605 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
606 |
Copyright 2002 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
607 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
608 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
609 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
610 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
611 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
612 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
613 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
614 |
Damien Doligez, projet Moscova, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
615 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
616 |
Copyright 2003 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
617 |
Xavier Leroy and Damien Doligez, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
618 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
619 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
620 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
621 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
622 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
623 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
624 |
definitions for compatibility with old identifiers |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
625 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
626 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
627 |
Copyright 2001 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
628 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
629 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
630 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
631 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
632 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
633 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
634 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
635 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
636 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
637 |
Copyright 1999 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
638 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
639 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
640 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
641 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
642 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
643 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
644 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
645 |
Contributed by Sylvain Le Gall for Lexifi |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
646 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
647 |
Copyright 2008 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
648 |
Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
649 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
650 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
651 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
652 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
653 |
Copyright 1998 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
654 |
Francois Rouaix, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
655 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
656 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
657 |
Copyright 1997 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
658 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
659 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
660 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
661 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
662 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
663 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
664 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
665 |
Damien Doligez, projet Para, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
666 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
667 |
Copyright 1997 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
668 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
669 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
670 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
671 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
672 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
673 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
674 |
Copyright 2000 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
675 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
676 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
677 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
678 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
679 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
680 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
681 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
682 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
683 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
684 |
Copyright 1999 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
685 |
File contributed by Lionel Fourquaux |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
686 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
687 |
Copyright 2001 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
688 |
Copyright 2003 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
689 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
690 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
691 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
692 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
693 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
694 |
MLTk, Tcl/Tk interface of Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
695 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
696 |
Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
697 |
projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
698 |
Jacques Garrigue, Kyoto University RIMS |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
699 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
700 |
Copyright 2002 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
701 |
en Automatique and Kyoto University. All rights reserved. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
702 |
This file is distributed under the terms of the GNU Library |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
703 |
General Public License, with the special exception on linking |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
704 |
described in file LICENSE found in the Objective Caml source tree. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
705 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
706 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
707 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
708 |
Contributed by Tracy Camp, PolyServe Inc., <[email protected]> |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
709 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
710 |
Copyright 2002 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
711 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
712 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
713 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
714 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
715 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
716 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
717 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
718 |
Alternative to tkwait variable |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
719 |
tkAppInit.c -- |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
720 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
721 |
Provides a default version of the Tcl_AppInit procedure for |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
722 |
use in wish and similar Tk-based applications. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
723 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
724 |
Copyright (c) 1993 The Regents of the University of California. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
725 |
Copyright (c) 1994 Sun Microsystems, Inc. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
726 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
727 |
See the file "license.terms" for information on usage and redistribution |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
728 |
of this file, and for a DISCLAIMER OF ALL WARRANTIES. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
729 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
730 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
731 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
732 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
733 |
Xavier Leroy, projet Gallium, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
734 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
735 |
Copyright 2007 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
736 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
737 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
738 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
739 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
740 |
Manuel Serrano and Xavier Leroy, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
741 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
742 |
Copyright 2000 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
743 |
Pascal Cuoq and Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
744 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
745 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
746 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
747 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
748 |
Copyright 1997 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
749 |
Contributed by Sylvain Le Gall for Lexifi |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
750 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
751 |
Copyright 2008 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
752 |
Developed by Jacob Navia, based on code by J-M Geffroy and X Leroy |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
753 |
Copyright 2001 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
754 |
Copyright 2006 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
755 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
756 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
757 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
758 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
759 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
760 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
761 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
762 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
763 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
764 |
Copyright 2001 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
765 |
Damien Doligez, projet Moscova, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
766 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
767 |
Copyright 2000 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
768 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
769 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
770 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
771 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
772 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
773 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
774 |
Xavier Leroy and Damien Doligez, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
775 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
776 |
Copyright 2007 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
777 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
778 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
779 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
780 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
781 |
Contributed by Sylvain Le Gall for Lexifi |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
782 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
783 |
Copyright 2008 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
784 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
785 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
786 |
Copyright 2002 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
787 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
788 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
789 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
790 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
791 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
792 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
793 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
794 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
795 |
Copyright 2002 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
796 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
797 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
798 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
799 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
800 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
801 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
802 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
803 |
Xavier Leroy and Damien Doligez, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
804 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
805 |
Copyright 1995 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
806 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
807 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
808 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
809 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
810 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
811 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
812 |
Copyright 1998 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
813 |
Xavier Leroy, projet Cristal, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
814 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
815 |
Copyright 2001 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
816 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
817 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
818 |
the special exception on linking described in file ../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
819 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
820 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
821 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
822 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
823 |
Xavier Leroy and Pascal Cuoq, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
824 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
825 |
Copyright 1995 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
826 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
827 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
828 |
the special exception on linking described in file ../../LICENSE. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
829 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
830 |
Objective Caml |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
831 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
832 |
Developed by Jacob Navia. |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
833 |
Copyright 2001 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
834 |
Manuel Serrano and Xavier Leroy, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
835 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
836 |
Copyright 2000 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
837 |
Damien Doligez, projet Para, INRIA Rocquencourt |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
838 |
|
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
839 |
Copyright 1996 Institut National de Recherche en Informatique et |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
840 |
en Automatique. All rights reserved. This file is distributed |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
841 |
under the terms of the GNU Library General Public License, with |
0ad0ca4eca8e
20332567 Ocaml needs a license file update
Stefan Teleman <stefan.teleman@oracle.com>
parents:
diff
changeset
|
842 |
the special exception on linking described in file ../LICENSE. |