~ubuntu-branches/ubuntu/hardy/texmacs/hardy : revision 2

1

This package was debianized by Ralf Treinen <treinen@debian.org> on

2

Sat, 21 Oct 2000 12:16:56 +0200.

3

4

It was downloaded from ftp://megrez.math.u-bordeaux.fr/pub/TeXmacs/

5

6

Upstream Author: Joris van der Hoeven <TeXmacs@math.u-psud.fr>

7

8

9

10

You are free to distribute this software under the terms of

11

the GNU General Public License, version 2.

12

On Debian systems, the complete text of the GNU General Public

13

License can be found in /usr/share/common-licenses/GPL file.

14

15

The documentation, which on a debian system is installed in the

16

directory /usr/share/texmacs/TeXmacs-<version>/doc, is distributed

17

under the terms of the GNU Free Documentation Licence, version 1.1,

18

appended below:

19

20

21

GNU Free Documentation License

22

Version 1.1, March 2000

23

24

25

59 Temple Place, Suite 330, Boston, MA 02111-1307 USA

26

Everyone is permitted to copy and distribute verbatim copies

27

of this license document, but changing it is not allowed.

28

29

30

0. PREAMBLE

31

32

The purpose of this License is to make a manual, textbook, or other

33

written document "free" in the sense of freedom: to assure everyone

34

the effective freedom to copy and redistribute it, with or without

35

modifying it, either commercially or noncommercially. Secondarily,

36

this License preserves for the author and publisher a way to get

37

credit for their work, while not being considered responsible for

38

modifications made by others.

39

40

This License is a kind of "copyleft", which means that derivative

41

works of the document must themselves be free in the same sense. It

42

complements the GNU General Public License, which is a copyleft

43

license designed for free software.

44

45

We have designed this License in order to use it for manuals for free

46

software, because free software needs free documentation: a free

47

program should come with manuals providing the same freedoms that the

48

software does. But this License is not limited to software manuals;

49

it can be used for any textual work, regardless of subject matter or

50

whether it is published as a printed book. We recommend this License

51

principally for works whose purpose is instruction or reference.

52

53

54

1. APPLICABILITY AND DEFINITIONS

55

56

This License applies to any manual or other work that contains a

57

notice placed by the copyright holder saying it can be distributed

58

under the terms of this License. The "Document", below, refers to any

59

such manual or work. Any member of the public is a licensee, and is

60

addressed as "you".

61

62

A "Modified Version" of the Document means any work containing the

63

Document or a portion of it, either copied verbatim, or with

64

modifications and/or translated into another language.

65

66

A "Secondary Section" is a named appendix or a front-matter section of

67

the Document that deals exclusively with the relationship of the

68

publishers or authors of the Document to the Document's overall subject

69

(or to related matters) and contains nothing that could fall directly

70

within that overall subject. (For example, if the Document is in part a

71

textbook of mathematics, a Secondary Section may not explain any

72

mathematics.) The relationship could be a matter of historical

73

connection with the subject or with related matters, or of legal,

74

commercial, philosophical, ethical or political position regarding

75

them.

76

77

The "Invariant Sections" are certain Secondary Sections whose titles

78

are designated, as being those of Invariant Sections, in the notice

79

that says that the Document is released under this License.

80

81

The "Cover Texts" are certain short passages of text that are listed,

82

as Front-Cover Texts or Back-Cover Texts, in the notice that says that

83

the Document is released under this License.

84

85

A "Transparent" copy of the Document means a machine-readable copy,

86

represented in a format whose specification is available to the

87

general public, whose contents can be viewed and edited directly and

88

straightforwardly with generic text editors or (for images composed of

89

pixels) generic paint programs or (for drawings) some widely available

90

drawing editor, and that is suitable for input to text formatters or

91

for automatic translation to a variety of formats suitable for input

92

to text formatters. A copy made in an otherwise Transparent file

93

format whose markup has been designed to thwart or discourage

94

subsequent modification by readers is not Transparent. A copy that is

95

not "Transparent" is called "Opaque".

96

97

Examples of suitable formats for Transparent copies include plain

98

ASCII without markup, Texinfo input format, LaTeX input format, SGML

99

or XML using a publicly available DTD, and standard-conforming simple

100

HTML designed for human modification. Opaque formats include

101

PostScript, PDF, proprietary formats that can be read and edited only

102

by proprietary word processors, SGML or XML for which the DTD and/or

103

processing tools are not generally available, and the

104

machine-generated HTML produced by some word processors for output

105

purposes only.

106

107

The "Title Page" means, for a printed book, the title page itself,

108

plus such following pages as are needed to hold, legibly, the material

109

this License requires to appear in the title page. For works in

110

formats which do not have any title page as such, "Title Page" means

111

the text near the most prominent appearance of the work's title,

112

preceding the beginning of the body of the text.

113

114

115

2. VERBATIM COPYING

116

117

You may copy and distribute the Document in any medium, either

118

commercially or noncommercially, provided that this License, the

119

copyright notices, and the license notice saying this License applies

120

to the Document are reproduced in all copies, and that you add no other

121

conditions whatsoever to those of this License. You may not use

122

technical measures to obstruct or control the reading or further

123

copying of the copies you make or distribute. However, you may accept

124

compensation in exchange for copies. If you distribute a large enough

125

number of copies you must also follow the conditions in section 3.

126

127

You may also lend copies, under the same conditions stated above, and

128

you may publicly display copies.

129

130

131

3. COPYING IN QUANTITY

132

133

If you publish printed copies of the Document numbering more than 100,

134

and the Document's license notice requires Cover Texts, you must enclose

135

the copies in covers that carry, clearly and legibly, all these Cover

136

Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on

137

the back cover. Both covers must also clearly and legibly identify

138

you as the publisher of these copies. The front cover must present

139

the full title with all words of the title equally prominent and

140

visible. You may add other material on the covers in addition.

141

Copying with changes limited to the covers, as long as they preserve

142

the title of the Document and satisfy these conditions, can be treated

143

as verbatim copying in other respects.

144

145

If the required texts for either cover are too voluminous to fit

146

legibly, you should put the first ones listed (as many as fit

147

reasonably) on the actual cover, and continue the rest onto adjacent

148

pages.

149

150

If you publish or distribute Opaque copies of the Document numbering

151

more than 100, you must either include a machine-readable Transparent

152

copy along with each Opaque copy, or state in or with each Opaque copy

153

a publicly-accessible computer-network location containing a complete

154

Transparent copy of the Document, free of added material, which the

155

general network-using public has access to download anonymously at no

156

charge using public-standard network protocols. If you use the latter

157

option, you must take reasonably prudent steps, when you begin

158

distribution of Opaque copies in quantity, to ensure that this

159

Transparent copy will remain thus accessible at the stated location

160

until at least one year after the last time you distribute an Opaque

161

copy (directly or through your agents or retailers) of that edition to

162

the public.

163

164

It is requested, but not required, that you contact the authors of the

165

Document well before redistributing any large number of copies, to give

166

them a chance to provide you with an updated version of the Document.

167

168

169

4. MODIFICATIONS

170

171

You may copy and distribute a Modified Version of the Document under

172

the conditions of sections 2 and 3 above, provided that you release

173

the Modified Version under precisely this License, with the Modified

174

Version filling the role of the Document, thus licensing distribution

175

and modification of the Modified Version to whoever possesses a copy

176

of it. In addition, you must do these things in the Modified Version:

177

178

A. Use in the Title Page (and on the covers, if any) a title distinct

179

from that of the Document, and from those of previous versions

180

(which should, if there were any, be listed in the History section

181

of the Document). You may use the same title as a previous version

182

if the original publisher of that version gives permission.

183

B. List on the Title Page, as authors, one or more persons or entities

184

responsible for authorship of the modifications in the Modified

185

Version, together with at least five of the principal authors of the

186

Document (all of its principal authors, if it has less than five).

187

C. State on the Title page the name of the publisher of the

188

Modified Version, as the publisher.

189

D. Preserve all the copyright notices of the Document.

190

E. Add an appropriate copyright notice for your modifications

191

adjacent to the other copyright notices.

192

F. Include, immediately after the copyright notices, a license notice

193

giving the public permission to use the Modified Version under the

194

terms of this License, in the form shown in the Addendum below.

195

G. Preserve in that license notice the full lists of Invariant Sections

196

and required Cover Texts given in the Document's license notice.

197

H. Include an unaltered copy of this License.

198

I. Preserve the section entitled "History", and its title, and add to

199

it an item stating at least the title, year, new authors, and

200

publisher of the Modified Version as given on the Title Page. If

201

there is no section entitled "History" in the Document, create one

202

stating the title, year, authors, and publisher of the Document as

203

given on its Title Page, then add an item describing the Modified

204

Version as stated in the previous sentence.

205

J. Preserve the network location, if any, given in the Document for

206

public access to a Transparent copy of the Document, and likewise

207

the network locations given in the Document for previous versions

208

it was based on. These may be placed in the "History" section.

209

You may omit a network location for a work that was published at

210

least four years before the Document itself, or if the original

211

publisher of the version it refers to gives permission.

212

K. In any section entitled "Acknowledgements" or "Dedications",

213

preserve the section's title, and preserve in the section all the

214

substance and tone of each of the contributor acknowledgements

215

and/or dedications given therein.

216

L. Preserve all the Invariant Sections of the Document,

217

unaltered in their text and in their titles. Section numbers

218

or the equivalent are not considered part of the section titles.

219

M. Delete any section entitled "Endorsements". Such a section

220

may not be included in the Modified Version.

221

N. Do not retitle any existing section as "Endorsements"

222

or to conflict in title with any Invariant Section.

223

224

If the Modified Version includes new front-matter sections or

225

appendices that qualify as Secondary Sections and contain no material

226

copied from the Document, you may at your option designate some or all

227

of these sections as invariant. To do this, add their titles to the

228

list of Invariant Sections in the Modified Version's license notice.

229

These titles must be distinct from any other section titles.

230

231

You may add a section entitled "Endorsements", provided it contains

232

nothing but endorsements of your Modified Version by various

233

parties--for example, statements of peer review or that the text has

234

been approved by an organization as the authoritative definition of a

235

standard.

236

237

You may add a passage of up to five words as a Front-Cover Text, and a

238

passage of up to 25 words as a Back-Cover Text, to the end of the list

239

of Cover Texts in the Modified Version. Only one passage of

240

Front-Cover Text and one of Back-Cover Text may be added by (or

241

through arrangements made by) any one entity. If the Document already

242

includes a cover text for the same cover, previously added by you or

243

by arrangement made by the same entity you are acting on behalf of,

244

you may not add another; but you may replace the old one, on explicit

245

permission from the previous publisher that added the old one.

246

247

The author(s) and publisher(s) of the Document do not by this License

248

give permission to use their names for publicity for or to assert or

249

imply endorsement of any Modified Version.

250

251

252

5. COMBINING DOCUMENTS

253

254

You may combine the Document with other documents released under this

255

License, under the terms defined in section 4 above for modified

256

versions, provided that you include in the combination all of the

257

Invariant Sections of all of the original documents, unmodified, and

258

list them all as Invariant Sections of your combined work in its

259

license notice.

260

261

The combined work need only contain one copy of this License, and

262

multiple identical Invariant Sections may be replaced with a single

263

copy. If there are multiple Invariant Sections with the same name but

264

different contents, make the title of each such section unique by

265

adding at the end of it, in parentheses, the name of the original

266

author or publisher of that section if known, or else a unique number.

267

Make the same adjustment to the section titles in the list of

268

Invariant Sections in the license notice of the combined work.

269

270

In the combination, you must combine any sections entitled "History"

271

in the various original documents, forming one section entitled

272

"History"; likewise combine any sections entitled "Acknowledgements",

273

and any sections entitled "Dedications". You must delete all sections

274

entitled "Endorsements."

275

276

277

6. COLLECTIONS OF DOCUMENTS

278

279

You may make a collection consisting of the Document and other documents

280

released under this License, and replace the individual copies of this

281

License in the various documents with a single copy that is included in

282

the collection, provided that you follow the rules of this License for

283

verbatim copying of each of the documents in all other respects.

284

285

You may extract a single document from such a collection, and distribute

286

it individually under this License, provided you insert a copy of this

287

License into the extracted document, and follow this License in all

288

other respects regarding verbatim copying of that document.

289

290

291

7. AGGREGATION WITH INDEPENDENT WORKS

292

293

A compilation of the Document or its derivatives with other separate

294

and independent documents or works, in or on a volume of a storage or

295

distribution medium, does not as a whole count as a Modified Version

296

of the Document, provided no compilation copyright is claimed for the

297

compilation. Such a compilation is called an "aggregate", and this

298

License does not apply to the other self-contained works thus compiled

299

with the Document, on account of their being thus compiled, if they

300

are not themselves derivative works of the Document.

301

302

If the Cover Text requirement of section 3 is applicable to these

303

copies of the Document, then if the Document is less than one quarter

304

of the entire aggregate, the Document's Cover Texts may be placed on

305

covers that surround only the Document within the aggregate.

306

Otherwise they must appear on covers around the whole aggregate.

307

308

309

8. TRANSLATION

310

311

Translation is considered a kind of modification, so you may

312

distribute translations of the Document under the terms of section 4.

313

Replacing Invariant Sections with translations requires special

314

permission from their copyright holders, but you may include

315

translations of some or all Invariant Sections in addition to the

316

original versions of these Invariant Sections. You may include a

317

translation of this License provided that you also include the

318

original English version of this License. In case of a disagreement

319

between the translation and the original English version of this

320

License, the original English version will prevail.

321

322

323

9. TERMINATION

324

325

You may not copy, modify, sublicense, or distribute the Document except

326

as expressly provided for under this License. Any other attempt to

327

copy, modify, sublicense or distribute the Document is void, and will

328

automatically terminate your rights under this License. However,

329

parties who have received copies, or rights, from you under this

330

License will not have their licenses terminated so long as such

331

parties remain in full compliance.

332

333

334

10. FUTURE REVISIONS OF THIS LICENSE

335

336

The Free Software Foundation may publish new, revised versions

337

of the GNU Free Documentation License from time to time. Such new

338

versions will be similar in spirit to the present version, but may

339

differ in detail to address new problems or concerns. See

340

http://www.gnu.org/copyleft/.

341

342

Each version of the License is given a distinguishing version number.

343

If the Document specifies that a particular numbered version of this

344

License "or any later version" applies to it, you have the option of

345

following the terms and conditions either of that specified version or

346

of any later version that has been published (not as a draft) by the

347

Free Software Foundation. If the Document does not specify a version

348

number of this License, you may choose any version ever published (not

349

as a draft) by the Free Software Foundation.

350