← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/projects/sidekick/public/icons/license.txt

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/projects/sidekick/public/icons/license.txt
 
1
 
 
2
                ACL2 SIDEKICK ICONS
 
3
 
 
4
                LICENSE INFORMATION
 
5
 
 
6
 
 
7
Some icons are original work:
 
8
  Copyright (c) 2013-2014 Kookamara LLC
 
9
  License: An MIT/X11 Style License, see the LICENSE file distributed
 
10
           with the ACL2 Sidekick for details.
 
11
 
 
12
     kookamara.png
 
13
     superhero*.*
 
14
     favicon.*
 
15
 
 
16
Images featuring the ACL2 Ribbon are adapted from the ACL2 Logo
 
17
   Copyright (C) 2014, Regents of the University of Texas
 
18
   License: BSD-3-Clause style
 
19
 
 
20
     fromacl2.png
 
21
 
 
22
 
 
23
The XDOC icon is part of XDOC
 
24
   Copyright (C) 2009-2013 Centaur Technology
 
25
   License: MIT/X11
 
26
 
 
27
     xdoc.png
 
28
 
 
29
 
 
30
Other icons are from the Oxygen Icon Theme:
 
31
 
 
32
The Oxygen Icon Theme
 
33
    Copyright (C) 2007 Nuno Pinheiro <nuno@oxygen-icons.org>
 
34
    Copyright (C) 2007 David Vignoni <david@icon-king.com>
 
35
    Copyright (C) 2007 David Miller <miller@oxygen-icons.org>
 
36
    Copyright (C) 2007 Johann Ollivier Lapeyre <johann@oxygen-icons.org>
 
37
    Copyright (C) 2007 Kenneth Wimer <kwwii@bootsplash.org>
 
38
    Copyright (C) 2007 Riccardo Iaconelli <riccardo@oxygen-icons.org>
 
39
 
 
40
 
 
41
and others
 
42
 
 
43
    This library is free software; you can redistribute it and/or
 
44
    modify it under the terms of the GNU Lesser General Public
 
45
    License as published by the Free Software Foundation; either
 
46
    version 3 of the License, or (at your option) any later version.
 
47
 
 
48
    This library is distributed in the hope that it will be useful,
 
49
    but WITHOUT ANY WARRANTY; without even the implied warranty of
 
50
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 
51
    Lesser General Public License for more details.
 
52
 
 
53
    You should have received a copy of the GNU Lesser General Public
 
54
    License along with this library. If not, see <http://www.gnu.org/licenses/>.
 
55
 
 
56
Clarification:
 
57
 
 
58
  The GNU Lesser General Public License or LGPL is written for
 
59
  software libraries in the first place. We expressly want the LGPL to
 
60
  be valid for this artwork library too.
 
61
 
 
62
  KDE Oxygen theme icons is a special kind of software library, it is an
 
63
  artwork library, it's elements can be used in a Graphical User Interface, or
 
64
  GUI.
 
65
 
 
66
  Source code, for this library means:
 
67
   - where they exist, SVG;
 
68
   - otherwise, if applicable, the multi-layered formats xcf or psd, or
 
69
  otherwise png.
 
70
 
 
71
  The LGPL in some sections obliges you to make the files carry
 
72
  notices. With images this is in some cases impossible or hardly useful.
 
73
 
 
74
  With this library a notice is placed at a prominent place in the directory
 
75
  containing the elements. You may follow this practice.
 
76
 
 
77
  The exception in section 5 of the GNU Lesser General Public License covers
 
78
  the use of elements of this art library in a GUI.
 
79
 
 
80
  kde-artists [at] kde.org
 
81
 
 
82
-----
 
83
                   GNU LESSER GENERAL PUBLIC LICENSE
 
84
                       Version 3, 29 June 2007
 
85
 
 
86
 Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
 
87
 Everyone is permitted to copy and distribute verbatim copies
 
88
 of this license document, but changing it is not allowed.
 
89
 
 
90
 
 
91
  This version of the GNU Lesser General Public License incorporates
 
92
the terms and conditions of version 3 of the GNU General Public
 
93
License, supplemented by the additional permissions listed below.
 
94
 
 
95
  0. Additional Definitions. 
 
96
 
 
97
  As used herein, "this License" refers to version 3 of the GNU Lesser
 
98
General Public License, and the "GNU GPL" refers to version 3 of the GNU
 
99
General Public License.
 
100
 
 
101
  "The Library" refers to a covered work governed by this License,
 
102
other than an Application or a Combined Work as defined below.
 
103
 
 
104
  An "Application" is any work that makes use of an interface provided
 
105
by the Library, but which is not otherwise based on the Library.
 
106
Defining a subclass of a class defined by the Library is deemed a mode
 
107
of using an interface provided by the Library.
 
108
 
 
109
  A "Combined Work" is a work produced by combining or linking an
 
110
Application with the Library.  The particular version of the Library
 
111
with which the Combined Work was made is also called the "Linked
 
112
Version".
 
113
 
 
114
  The "Minimal Corresponding Source" for a Combined Work means the
 
115
Corresponding Source for the Combined Work, excluding any source code
 
116
for portions of the Combined Work that, considered in isolation, are
 
117
based on the Application, and not on the Linked Version.
 
118
 
 
119
  The "Corresponding Application Code" for a Combined Work means the
 
120
object code and/or source code for the Application, including any data
 
121
and utility programs needed for reproducing the Combined Work from the
 
122
Application, but excluding the System Libraries of the Combined Work.
 
123
 
 
124
  1. Exception to Section 3 of the GNU GPL.
 
125
 
 
126
  You may convey a covered work under sections 3 and 4 of this License
 
127
without being bound by section 3 of the GNU GPL.
 
128
 
 
129
  2. Conveying Modified Versions.
 
130
 
 
131
  If you modify a copy of the Library, and, in your modifications, a
 
132
facility refers to a function or data to be supplied by an Application
 
133
that uses the facility (other than as an argument passed when the
 
134
facility is invoked), then you may convey a copy of the modified
 
135
version:
 
136
 
 
137
   a) under this License, provided that you make a good faith effort to
 
138
   ensure that, in the event an Application does not supply the
 
139
   function or data, the facility still operates, and performs
 
140
   whatever part of its purpose remains meaningful, or
 
141
 
 
142
   b) under the GNU GPL, with none of the additional permissions of
 
143
   this License applicable to that copy.
 
144
 
 
145
  3. Object Code Incorporating Material from Library Header Files.
 
146
 
 
147
  The object code form of an Application may incorporate material from
 
148
a header file that is part of the Library.  You may convey such object
 
149
code under terms of your choice, provided that, if the incorporated
 
150
material is not limited to numerical parameters, data structure
 
151
layouts and accessors, or small macros, inline functions and templates
 
152
(ten or fewer lines in length), you do both of the following:
 
153
 
 
154
   a) Give prominent notice with each copy of the object code that the
 
155
   Library is used in it and that the Library and its use are
 
156
   covered by this License.
 
157
 
 
158
   b) Accompany the object code with a copy of the GNU GPL and this license
 
159
   document.
 
160
 
 
161
  4. Combined Works.
 
162
 
 
163
  You may convey a Combined Work under terms of your choice that,
 
164
taken together, effectively do not restrict modification of the
 
165
portions of the Library contained in the Combined Work and reverse
 
166
engineering for debugging such modifications, if you also do each of
 
167
the following:
 
168
 
 
169
   a) Give prominent notice with each copy of the Combined Work that
 
170
   the Library is used in it and that the Library and its use are
 
171
   covered by this License.
 
172
 
 
173
   b) Accompany the Combined Work with a copy of the GNU GPL and this license
 
174
   document.
 
175
 
 
176
   c) For a Combined Work that displays copyright notices during
 
177
   execution, include the copyright notice for the Library among
 
178
   these notices, as well as a reference directing the user to the
 
179
   copies of the GNU GPL and this license document.
 
180
 
 
181
   d) Do one of the following:
 
182
 
 
183
       0) Convey the Minimal Corresponding Source under the terms of this
 
184
       License, and the Corresponding Application Code in a form
 
185
       suitable for, and under terms that permit, the user to
 
186
       recombine or relink the Application with a modified version of
 
187
       the Linked Version to produce a modified Combined Work, in the
 
188
       manner specified by section 6 of the GNU GPL for conveying
 
189
       Corresponding Source.
 
190
 
 
191
       1) Use a suitable shared library mechanism for linking with the
 
192
       Library.  A suitable mechanism is one that (a) uses at run time
 
193
       a copy of the Library already present on the user's computer
 
194
       system, and (b) will operate properly with a modified version
 
195
       of the Library that is interface-compatible with the Linked
 
196
       Version. 
 
197
 
 
198
   e) Provide Installation Information, but only if you would otherwise
 
199
   be required to provide such information under section 6 of the
 
200
   GNU GPL, and only to the extent that such information is
 
201
   necessary to install and execute a modified version of the
 
202
   Combined Work produced by recombining or relinking the
 
203
   Application with a modified version of the Linked Version. (If
 
204
   you use option 4d0, the Installation Information must accompany
 
205
   the Minimal Corresponding Source and Corresponding Application
 
206
   Code. If you use option 4d1, you must provide the Installation
 
207
   Information in the manner specified by section 6 of the GNU GPL
 
208
   for conveying Corresponding Source.)
 
209
 
 
210
  5. Combined Libraries.
 
211
 
 
212
  You may place library facilities that are a work based on the
 
213
Library side by side in a single library together with other library
 
214
facilities that are not Applications and are not covered by this
 
215
License, and convey such a combined library under terms of your
 
216
choice, if you do both of the following:
 
217
 
 
218
   a) Accompany the combined library with a copy of the same work based
 
219
   on the Library, uncombined with any other library facilities,
 
220
   conveyed under the terms of this License.
 
221
 
 
222
   b) Give prominent notice with the combined library that part of it
 
223
   is a work based on the Library, and explaining where to find the
 
224
   accompanying uncombined form of the same work.
 
225
 
 
226
  6. Revised Versions of the GNU Lesser General Public License.
 
227
 
 
228
  The Free Software Foundation may publish revised and/or new versions
 
229
of the GNU Lesser General Public License from time to time. Such new
 
230
versions will be similar in spirit to the present version, but may
 
231
differ in detail to address new problems or concerns.
 
232
 
 
233
  Each version is given a distinguishing version number. If the
 
234
Library as you received it specifies that a certain numbered version
 
235
of the GNU Lesser General Public License "or any later version"
 
236
applies to it, you have the option of following the terms and
 
237
conditions either of that published version or of any later version
 
238
published by the Free Software Foundation. If the Library as you
 
239
received it does not specify a version number of the GNU Lesser
 
240
General Public License, you may choose any version of the GNU Lesser
 
241
General Public License ever published by the Free Software Foundation.
 
242
 
 
243
  If the Library as you received it specifies that a proxy can decide
 
244
whether future versions of the GNU Lesser General Public License shall
 
245
apply, that proxy's public statement of acceptance of any version is
 
246
permanent authorization for you to choose that version for the
 
247
Library.