]> code.delx.au - gnu-emacs-elpa/blob - packages/ada-mode/gpr-mode.info
8313779da9b31ce23193d070cac64ea0f6553f19
[gnu-emacs-elpa] / packages / ada-mode / gpr-mode.info
1 This is ../gpr-mode.info, produced by makeinfo version 4.13 from
2 ../gpr-mode.texi.
3
4 Copyright (C) 2013 Free Software Foundation, Inc.
5
6 Permission is granted to copy, distribute and/or modify this
7 document under the terms of the GNU Free Documentation License,
8 Version 1.3 or any later version published by the Free Software
9 Foundation; with no Invariant Sections, with the Front-Cover texts
10 being "A GNU Manual", and with the Back-Cover Texts as in (a)
11 below. A copy of the license is included in the section entitled
12 "GNU Free Documentation License".
13
14 (a) The FSF's Back-Cover Text is: "You have the freedom to copy and
15 modify this GNU manual. Buying copies from the FSF supports it in
16 developing GNU and promoting software freedom."
17
18 INFO-DIR-SECTION Emacs editing modes
19 START-INFO-DIR-ENTRY
20 * gpr mode: (gpr-mode). Emacs mode for editing and navigating gpr files (gnat project files).
21 END-INFO-DIR-ENTRY
22
23 \1f
24 File: gpr-mode.info, Node: Top, Next: Overview, Prev: (dir), Up: (dir)
25
26 Copyright (C) 2013 Free Software Foundation, Inc.
27
28 Permission is granted to copy, distribute and/or modify this
29 document under the terms of the GNU Free Documentation License,
30 Version 1.3 or any later version published by the Free Software
31 Foundation; with no Invariant Sections, with the Front-Cover texts
32 being "A GNU Manual", and with the Back-Cover Texts as in (a)
33 below. A copy of the license is included in the section entitled
34 "GNU Free Documentation License".
35
36 (a) The FSF's Back-Cover Text is: "You have the freedom to copy and
37 modify this GNU manual. Buying copies from the FSF supports it in
38 developing GNU and promoting software freedom."
39
40 * Menu:
41
42 * Overview::
43 * Installation::
44 * Customization::
45 * Moving Through Gpr Code::
46 * Identifier completion::
47 * Indentation::
48 * Statement skeletons::
49 * GNU Free Documentation License::
50 * Index::
51
52 \1f
53 File: gpr-mode.info, Node: Overview, Next: Installation, Prev: Top, Up: Top
54
55 1 Overview
56 **********
57
58 gpr files are the project files used by the GNAT compiler and
59 associated tools. They describe search paths, compiler options, etc.
60
61 *Note GNAT Project Manager: (gnat_ugn)GNAT Project Manager, for
62 general information on gpr files.
63
64 The Emacs mode for gpr files helps the user in reading existing code
65 and facilitates writing new code.
66
67 When you open a file with a file extension of `.gpr', Emacs will
68 automatically load and activate gpr mode.
69
70 \1f
71 File: gpr-mode.info, Node: Installation, Next: Customization, Prev: Overview, Up: Top
72
73 2 Installation
74 **************
75
76 gpr mode is distributed in the Gnu ELPA package archive, bundled with
77 Ada mode; it can be installed via `M-x list-packages' (*note Packages:
78 (emacs)Packages.).
79
80 gpr mode is also available as a separate distribution bundled with
81 Ada mode, from the Emacs Ada mode website
82 `http://stephe-leake.org/emacs/ada-mode/emacs-ada-mode.html'. The
83 separate distribution may be more recent.
84
85 For installing the separate distribution, see the `README' file in
86 the distribution.
87
88 gpr mode does not have a separate version; it uses the Ada mode
89 version number. To see what version of Ada mode you have installed, do
90 `M-x ada-mode-version'.
91
92 \1f
93 File: gpr-mode.info, Node: Customization, Next: Moving Through Gpr Code, Prev: Installation, Up: Top
94
95 3 Customization
96 ***************
97
98 gpr mode uses the Ada mode indentation variables; they can be set via
99 the menu `Ada | Customize' from an Ada mode buffer. Click on the
100 `Help' button there for help on using customize.
101
102 To modify a specific variable, you can directly call the function
103 `customize-variable'; just type `M-x customize-variable <RET>
104 VARIABLE-NAME <RET>').
105
106 Alternately, you can specify variable settings in the Emacs
107 configuration file, `~/.emacs'. This file is coded in Emacs lisp, and
108 the syntax to set a variable is the following:
109 (setq variable-name value)
110
111 Some general Emacs settings that are useful for gpr files:
112 `delete-trailing-whitespace'
113 Deletes space, tab at end of line and blank lines at end of buffer.
114
115 `untabify'
116 Deletes tab characters that have crept into the file.
117
118 `indent-tabs-mode'
119 Don't insert tab characters when indenting.
120
121 `hippie-expand'
122 Bind `hippie-expand' to a key; it expands the word before point,
123 using words from current buffer, other buffers, file names, etc;
124 see `hippie-expand-try-functions-list'. You can also add
125 `skeleton-hippie-try' to that list (*note Statement skeletons::).
126
127 The above can all be set by the following code in your `~/.emacs'.
128 Note that some are functions are added to `before-save-hook'; they run
129 just before a buffer is written to disk.
130 (setq-default indent-tabs-mode nil)
131 (require 'gpr-mode)
132 (add-to-list 'hippie-expand-try-functions-list 'skeleton-hippie-try)
133 (define-key gpr-mode-map "\C-e" 'hippie-expand)
134 (add-hook 'gpr-mode-hook
135 (lambda ()
136 (add-hook 'before-save-hook 'delete-trailing-whitespace nil t)
137 (add-hook 'before-save-hook
138 (lambda () (untabify (point-min) (point-max)))
139 nil t)))
140
141 \1f
142 File: gpr-mode.info, Node: Moving Through Gpr Code, Next: Identifier completion, Prev: Customization, Up: Top
143
144 4 Moving Through Gpr Code
145 *************************
146
147 These commands navigate through gpr code. All these functions are
148 available through the gpr menu and keybindings.
149
150 `C-c C-o'
151 If point is on a `with' clause, position point on the
152 corresponding package declaration.
153
154 `C-u SPACE'
155 Jump back to the previous location.
156
157
158 \1f
159 File: gpr-mode.info, Node: Identifier completion, Next: Indentation, Prev: Moving Through Gpr Code, Up: Top
160
161 5 Identifier completion
162 ***********************
163
164 Emacs provides a general way of completing identifiers: `M-/' (bound to
165 `dabbrev-expand'). This is an easy way to type faster: you just have to
166 type the first few letters of an identifier, and then loop through all
167 the possible completions.
168
169 `M-/' works by parsing all open gpr files for possible completions.
170
171 For instance, if the words `my_identifier' and `my_subprogram' are
172 the only words starting with `my' in any of the open gpr files, then
173 you will have this scenario:
174
175 You type: myM-/
176 Emacs inserts: `my_identifier'
177 If you press M-/ once again, Emacs replaces `my_identifier' with
178 `my_subprogram'.
179 Pressing M-/ once more will bring you back to `my_identifier'.
180
181 This is a very fast way to do completion, and the casing of words
182 will also be respected.
183
184 \1f
185 File: gpr-mode.info, Node: Indentation, Next: Statement skeletons, Prev: Identifier completion, Up: Top
186
187 6 Indentation
188 *************
189
190 gpr mode comes with a full set of rules for automatic indentation. You
191 can also configure the indentation, via the following variables:
192
193 `ada-indent' (default value: 3)
194 Number of columns for default indentation.
195
196 `ada-indent-broken' (default value: 2)
197 Number of columns to indent the continuation of a broken line.
198
199 `ada-indent-when' (default value: 3)
200 Indentation for `when' relative to `exception', `case', or `or' in
201 `select'.
202
203 `ada-indent-with' (default value: ada-indent-broken)
204 Indentation for the lines in a `with' context clause.
205
206
207 The following keys indent portions of the text:
208 `RET'
209 Insert and indent a new line.
210
211 `TAB'
212 Indent the current line, or the current region.
213
214 `C-c TAB'
215 Indent the current declaration.
216
217
218 The indentation algorithm relies on a grammar parser to identify the
219 syntactic role for keywords and other words in the code. If the code is
220 accepted by the parser, the indentation is done according to the rules
221 in the indentation engine.
222
223 If the code is not accepted (because it is partially complete during
224 editing), the indentation engine falls back to the trivial algorithm of
225 indenting each new line the same as the previous line. Once enough new
226 text has been entered to make the code acceptable to the parser, the
227 declaration is properly indented.
228
229 For example, if you are entering this code:
230
231 for Source_Dirs use
232 ("../../1553/test",
233 "../../system/test");
234
235 when you type `RET (', `(' is indented to the same column as `for',
236 because the parser does not find `);'. Then when you type the final `;'
237 followed by <TAB>, all three lines are indented, putting `(' where it
238 belongs.
239
240 To be more user friendly, the parser accepts a superset of the gpr
241 grammer. For example, the parser accepts this code for a `case'
242 statement:
243
244 case is
245 end case;
246
247 In general, any sequence of statements, and many expressions, may be
248 omitted.
249
250 One way to easily insert empty statements like this is using *note
251 Statement skeletons::.
252
253 In rare cases, the parser gets confused; it can be reset by invoking
254 menu <gpr | Misc | Reset parser>. Please report such cases as a bug.
255
256 \1f
257 File: gpr-mode.info, Node: Statement skeletons, Next: GNU Free Documentation License, Prev: Indentation, Up: Top
258
259 7 Statement skeletons
260 *********************
261
262 `C-c C-e' expands the previous one or two words into a statment
263 skeleton. For example, `c a s e C-c C-e' expands to:
264
265 case is
266 when =>
267 end case;
268
269 All skeleton expansions are accepted by the indentation parser, so
270 this is a convenient way to insert statements with correct indentation.
271
272 For named packages, the name is taken from the word before point,
273 and the package keyword from the word before that:
274
275 package A_Package
276
277 expands to:
278
279 package A_Package is
280 end A_Package;
281
282 Some expansions prompt for more information, such as a choice of
283 license.
284
285 \1f
286 File: gpr-mode.info, Node: GNU Free Documentation License, Next: Index, Prev: Statement skeletons, Up: Top
287
288 Appendix A GNU Free Documentation License
289 *****************************************
290
291 Version 1.3, 3 November 2008
292
293 Copyright (C) 2000, 2001, 2002, 2007, 2008, 2009 Free Software Foundation, Inc.
294 `http://fsf.org/'
295
296 Everyone is permitted to copy and distribute verbatim copies
297 of this license document, but changing it is not allowed.
298
299 0. PREAMBLE
300
301 The purpose of this License is to make a manual, textbook, or other
302 functional and useful document "free" in the sense of freedom: to
303 assure everyone the effective freedom to copy and redistribute it,
304 with or without modifying it, either commercially or
305 noncommercially. Secondarily, this License preserves for the
306 author and publisher a way to get credit for their work, while not
307 being considered responsible for modifications made by others.
308
309 This License is a kind of "copyleft", which means that derivative
310 works of the document must themselves be free in the same sense.
311 It complements the GNU General Public License, which is a copyleft
312 license designed for free software.
313
314 We have designed this License in order to use it for manuals for
315 free software, because free software needs free documentation: a
316 free program should come with manuals providing the same freedoms
317 that the software does. But this License is not limited to
318 software manuals; it can be used for any textual work, regardless
319 of subject matter or whether it is published as a printed book.
320 We recommend this License principally for works whose purpose is
321 instruction or reference.
322
323 1. APPLICABILITY AND DEFINITIONS
324
325 This License applies to any manual or other work, in any medium,
326 that contains a notice placed by the copyright holder saying it
327 can be distributed under the terms of this License. Such a notice
328 grants a world-wide, royalty-free license, unlimited in duration,
329 to use that work under the conditions stated herein. The
330 "Document", below, refers to any such manual or work. Any member
331 of the public is a licensee, and is addressed as "you". You
332 accept the license if you copy, modify or distribute the work in a
333 way requiring permission under copyright law.
334
335 A "Modified Version" of the Document means any work containing the
336 Document or a portion of it, either copied verbatim, or with
337 modifications and/or translated into another language.
338
339 A "Secondary Section" is a named appendix or a front-matter section
340 of the Document that deals exclusively with the relationship of the
341 publishers or authors of the Document to the Document's overall
342 subject (or to related matters) and contains nothing that could
343 fall directly within that overall subject. (Thus, if the Document
344 is in part a textbook of mathematics, a Secondary Section may not
345 explain any mathematics.) The relationship could be a matter of
346 historical connection with the subject or with related matters, or
347 of legal, commercial, philosophical, ethical or political position
348 regarding them.
349
350 The "Invariant Sections" are certain Secondary Sections whose
351 titles are designated, as being those of Invariant Sections, in
352 the notice that says that the Document is released under this
353 License. If a section does not fit the above definition of
354 Secondary then it is not allowed to be designated as Invariant.
355 The Document may contain zero Invariant Sections. If the Document
356 does not identify any Invariant Sections then there are none.
357
358 The "Cover Texts" are certain short passages of text that are
359 listed, as Front-Cover Texts or Back-Cover Texts, in the notice
360 that says that the Document is released under this License. A
361 Front-Cover Text may be at most 5 words, and a Back-Cover Text may
362 be at most 25 words.
363
364 A "Transparent" copy of the Document means a machine-readable copy,
365 represented in a format whose specification is available to the
366 general public, that is suitable for revising the document
367 straightforwardly with generic text editors or (for images
368 composed of pixels) generic paint programs or (for drawings) some
369 widely available drawing editor, and that is suitable for input to
370 text formatters or for automatic translation to a variety of
371 formats suitable for input to text formatters. A copy made in an
372 otherwise Transparent file format whose markup, or absence of
373 markup, has been arranged to thwart or discourage subsequent
374 modification by readers is not Transparent. An image format is
375 not Transparent if used for any substantial amount of text. A
376 copy that is not "Transparent" is called "Opaque".
377
378 Examples of suitable formats for Transparent copies include plain
379 ASCII without markup, Texinfo input format, LaTeX input format,
380 SGML or XML using a publicly available DTD, and
381 standard-conforming simple HTML, PostScript or PDF designed for
382 human modification. Examples of transparent image formats include
383 PNG, XCF and JPG. Opaque formats include proprietary formats that
384 can be read and edited only by proprietary word processors, SGML or
385 XML for which the DTD and/or processing tools are not generally
386 available, and the machine-generated HTML, PostScript or PDF
387 produced by some word processors for output purposes only.
388
389 The "Title Page" means, for a printed book, the title page itself,
390 plus such following pages as are needed to hold, legibly, the
391 material this License requires to appear in the title page. For
392 works in formats which do not have any title page as such, "Title
393 Page" means the text near the most prominent appearance of the
394 work's title, preceding the beginning of the body of the text.
395
396 The "publisher" means any person or entity that distributes copies
397 of the Document to the public.
398
399 A section "Entitled XYZ" means a named subunit of the Document
400 whose title either is precisely XYZ or contains XYZ in parentheses
401 following text that translates XYZ in another language. (Here XYZ
402 stands for a specific section name mentioned below, such as
403 "Acknowledgements", "Dedications", "Endorsements", or "History".)
404 To "Preserve the Title" of such a section when you modify the
405 Document means that it remains a section "Entitled XYZ" according
406 to this definition.
407
408 The Document may include Warranty Disclaimers next to the notice
409 which states that this License applies to the Document. These
410 Warranty Disclaimers are considered to be included by reference in
411 this License, but only as regards disclaiming warranties: any other
412 implication that these Warranty Disclaimers may have is void and
413 has no effect on the meaning of this License.
414
415 2. VERBATIM COPYING
416
417 You may copy and distribute the Document in any medium, either
418 commercially or noncommercially, provided that this License, the
419 copyright notices, and the license notice saying this License
420 applies to the Document are reproduced in all copies, and that you
421 add no other conditions whatsoever to those of this License. You
422 may not use technical measures to obstruct or control the reading
423 or further copying of the copies you make or distribute. However,
424 you may accept compensation in exchange for copies. If you
425 distribute a large enough number of copies you must also follow
426 the conditions in section 3.
427
428 You may also lend copies, under the same conditions stated above,
429 and you may publicly display copies.
430
431 3. COPYING IN QUANTITY
432
433 If you publish printed copies (or copies in media that commonly
434 have printed covers) of the Document, numbering more than 100, and
435 the Document's license notice requires Cover Texts, you must
436 enclose the copies in covers that carry, clearly and legibly, all
437 these Cover Texts: Front-Cover Texts on the front cover, and
438 Back-Cover Texts on the back cover. Both covers must also clearly
439 and legibly identify you as the publisher of these copies. The
440 front cover must present the full title with all words of the
441 title equally prominent and visible. You may add other material
442 on the covers in addition. Copying with changes limited to the
443 covers, as long as they preserve the title of the Document and
444 satisfy these conditions, can be treated as verbatim copying in
445 other respects.
446
447 If the required texts for either cover are too voluminous to fit
448 legibly, you should put the first ones listed (as many as fit
449 reasonably) on the actual cover, and continue the rest onto
450 adjacent pages.
451
452 If you publish or distribute Opaque copies of the Document
453 numbering more than 100, you must either include a
454 machine-readable Transparent copy along with each Opaque copy, or
455 state in or with each Opaque copy a computer-network location from
456 which the general network-using public has access to download
457 using public-standard network protocols a complete Transparent
458 copy of the Document, free of added material. If you use the
459 latter option, you must take reasonably prudent steps, when you
460 begin distribution of Opaque copies in quantity, to ensure that
461 this Transparent copy will remain thus accessible at the stated
462 location until at least one year after the last time you
463 distribute an Opaque copy (directly or through your agents or
464 retailers) of that edition to the public.
465
466 It is requested, but not required, that you contact the authors of
467 the Document well before redistributing any large number of
468 copies, to give them a chance to provide you with an updated
469 version of the Document.
470
471 4. MODIFICATIONS
472
473 You may copy and distribute a Modified Version of the Document
474 under the conditions of sections 2 and 3 above, provided that you
475 release the Modified Version under precisely this License, with
476 the Modified Version filling the role of the Document, thus
477 licensing distribution and modification of the Modified Version to
478 whoever possesses a copy of it. In addition, you must do these
479 things in the Modified Version:
480
481 A. Use in the Title Page (and on the covers, if any) a title
482 distinct from that of the Document, and from those of
483 previous versions (which should, if there were any, be listed
484 in the History section of the Document). You may use the
485 same title as a previous version if the original publisher of
486 that version gives permission.
487
488 B. List on the Title Page, as authors, one or more persons or
489 entities responsible for authorship of the modifications in
490 the Modified Version, together with at least five of the
491 principal authors of the Document (all of its principal
492 authors, if it has fewer than five), unless they release you
493 from this requirement.
494
495 C. State on the Title page the name of the publisher of the
496 Modified Version, as the publisher.
497
498 D. Preserve all the copyright notices of the Document.
499
500 E. Add an appropriate copyright notice for your modifications
501 adjacent to the other copyright notices.
502
503 F. Include, immediately after the copyright notices, a license
504 notice giving the public permission to use the Modified
505 Version under the terms of this License, in the form shown in
506 the Addendum below.
507
508 G. Preserve in that license notice the full lists of Invariant
509 Sections and required Cover Texts given in the Document's
510 license notice.
511
512 H. Include an unaltered copy of this License.
513
514 I. Preserve the section Entitled "History", Preserve its Title,
515 and add to it an item stating at least the title, year, new
516 authors, and publisher of the Modified Version as given on
517 the Title Page. If there is no section Entitled "History" in
518 the Document, create one stating the title, year, authors,
519 and publisher of the Document as given on its Title Page,
520 then add an item describing the Modified Version as stated in
521 the previous sentence.
522
523 J. Preserve the network location, if any, given in the Document
524 for public access to a Transparent copy of the Document, and
525 likewise the network locations given in the Document for
526 previous versions it was based on. These may be placed in
527 the "History" section. You may omit a network location for a
528 work that was published at least four years before the
529 Document itself, or if the original publisher of the version
530 it refers to gives permission.
531
532 K. For any section Entitled "Acknowledgements" or "Dedications",
533 Preserve the Title of the section, and preserve in the
534 section all the substance and tone of each of the contributor
535 acknowledgements and/or dedications given therein.
536
537 L. Preserve all the Invariant Sections of the Document,
538 unaltered in their text and in their titles. Section numbers
539 or the equivalent are not considered part of the section
540 titles.
541
542 M. Delete any section Entitled "Endorsements". Such a section
543 may not be included in the Modified Version.
544
545 N. Do not retitle any existing section to be Entitled
546 "Endorsements" or to conflict in title with any Invariant
547 Section.
548
549 O. Preserve any Warranty Disclaimers.
550
551 If the Modified Version includes new front-matter sections or
552 appendices that qualify as Secondary Sections and contain no
553 material copied from the Document, you may at your option
554 designate some or all of these sections as invariant. To do this,
555 add their titles to the list of Invariant Sections in the Modified
556 Version's license notice. These titles must be distinct from any
557 other section titles.
558
559 You may add a section Entitled "Endorsements", provided it contains
560 nothing but endorsements of your Modified Version by various
561 parties--for example, statements of peer review or that the text
562 has been approved by an organization as the authoritative
563 definition of a standard.
564
565 You may add a passage of up to five words as a Front-Cover Text,
566 and a passage of up to 25 words as a Back-Cover Text, to the end
567 of the list of Cover Texts in the Modified Version. Only one
568 passage of Front-Cover Text and one of Back-Cover Text may be
569 added by (or through arrangements made by) any one entity. If the
570 Document already includes a cover text for the same cover,
571 previously added by you or by arrangement made by the same entity
572 you are acting on behalf of, you may not add another; but you may
573 replace the old one, on explicit permission from the previous
574 publisher that added the old one.
575
576 The author(s) and publisher(s) of the Document do not by this
577 License give permission to use their names for publicity for or to
578 assert or imply endorsement of any Modified Version.
579
580 5. COMBINING DOCUMENTS
581
582 You may combine the Document with other documents released under
583 this License, under the terms defined in section 4 above for
584 modified versions, provided that you include in the combination
585 all of the Invariant Sections of all of the original documents,
586 unmodified, and list them all as Invariant Sections of your
587 combined work in its license notice, and that you preserve all
588 their Warranty Disclaimers.
589
590 The combined work need only contain one copy of this License, and
591 multiple identical Invariant Sections may be replaced with a single
592 copy. If there are multiple Invariant Sections with the same name
593 but different contents, make the title of each such section unique
594 by adding at the end of it, in parentheses, the name of the
595 original author or publisher of that section if known, or else a
596 unique number. Make the same adjustment to the section titles in
597 the list of Invariant Sections in the license notice of the
598 combined work.
599
600 In the combination, you must combine any sections Entitled
601 "History" in the various original documents, forming one section
602 Entitled "History"; likewise combine any sections Entitled
603 "Acknowledgements", and any sections Entitled "Dedications". You
604 must delete all sections Entitled "Endorsements."
605
606 6. COLLECTIONS OF DOCUMENTS
607
608 You may make a collection consisting of the Document and other
609 documents released under this License, and replace the individual
610 copies of this License in the various documents with a single copy
611 that is included in the collection, provided that you follow the
612 rules of this License for verbatim copying of each of the
613 documents in all other respects.
614
615 You may extract a single document from such a collection, and
616 distribute it individually under this License, provided you insert
617 a copy of this License into the extracted document, and follow
618 this License in all other respects regarding verbatim copying of
619 that document.
620
621 7. AGGREGATION WITH INDEPENDENT WORKS
622
623 A compilation of the Document or its derivatives with other
624 separate and independent documents or works, in or on a volume of
625 a storage or distribution medium, is called an "aggregate" if the
626 copyright resulting from the compilation is not used to limit the
627 legal rights of the compilation's users beyond what the individual
628 works permit. When the Document is included in an aggregate, this
629 License does not apply to the other works in the aggregate which
630 are not themselves derivative works of the Document.
631
632 If the Cover Text requirement of section 3 is applicable to these
633 copies of the Document, then if the Document is less than one half
634 of the entire aggregate, the Document's Cover Texts may be placed
635 on covers that bracket the Document within the aggregate, or the
636 electronic equivalent of covers if the Document is in electronic
637 form. Otherwise they must appear on printed covers that bracket
638 the whole aggregate.
639
640 8. TRANSLATION
641
642 Translation is considered a kind of modification, so you may
643 distribute translations of the Document under the terms of section
644 4. Replacing Invariant Sections with translations requires special
645 permission from their copyright holders, but you may include
646 translations of some or all Invariant Sections in addition to the
647 original versions of these Invariant Sections. You may include a
648 translation of this License, and all the license notices in the
649 Document, and any Warranty Disclaimers, provided that you also
650 include the original English version of this License and the
651 original versions of those notices and disclaimers. In case of a
652 disagreement between the translation and the original version of
653 this License or a notice or disclaimer, the original version will
654 prevail.
655
656 If a section in the Document is Entitled "Acknowledgements",
657 "Dedications", or "History", the requirement (section 4) to
658 Preserve its Title (section 1) will typically require changing the
659 actual title.
660
661 9. TERMINATION
662
663 You may not copy, modify, sublicense, or distribute the Document
664 except as expressly provided under this License. Any attempt
665 otherwise to copy, modify, sublicense, or distribute it is void,
666 and will automatically terminate your rights under this License.
667
668 However, if you cease all violation of this License, then your
669 license from a particular copyright holder is reinstated (a)
670 provisionally, unless and until the copyright holder explicitly
671 and finally terminates your license, and (b) permanently, if the
672 copyright holder fails to notify you of the violation by some
673 reasonable means prior to 60 days after the cessation.
674
675 Moreover, your license from a particular copyright holder is
676 reinstated permanently if the copyright holder notifies you of the
677 violation by some reasonable means, this is the first time you have
678 received notice of violation of this License (for any work) from
679 that copyright holder, and you cure the violation prior to 30 days
680 after your receipt of the notice.
681
682 Termination of your rights under this section does not terminate
683 the licenses of parties who have received copies or rights from
684 you under this License. If your rights have been terminated and
685 not permanently reinstated, receipt of a copy of some or all of
686 the same material does not give you any rights to use it.
687
688 10. FUTURE REVISIONS OF THIS LICENSE
689
690 The Free Software Foundation may publish new, revised versions of
691 the GNU Free Documentation License from time to time. Such new
692 versions will be similar in spirit to the present version, but may
693 differ in detail to address new problems or concerns. See
694 `http://www.gnu.org/copyleft/'.
695
696 Each version of the License is given a distinguishing version
697 number. If the Document specifies that a particular numbered
698 version of this License "or any later version" applies to it, you
699 have the option of following the terms and conditions either of
700 that specified version or of any later version that has been
701 published (not as a draft) by the Free Software Foundation. If
702 the Document does not specify a version number of this License,
703 you may choose any version ever published (not as a draft) by the
704 Free Software Foundation. If the Document specifies that a proxy
705 can decide which future versions of this License can be used, that
706 proxy's public statement of acceptance of a version permanently
707 authorizes you to choose that version for the Document.
708
709 11. RELICENSING
710
711 "Massive Multiauthor Collaboration Site" (or "MMC Site") means any
712 World Wide Web server that publishes copyrightable works and also
713 provides prominent facilities for anybody to edit those works. A
714 public wiki that anybody can edit is an example of such a server.
715 A "Massive Multiauthor Collaboration" (or "MMC") contained in the
716 site means any set of copyrightable works thus published on the MMC
717 site.
718
719 "CC-BY-SA" means the Creative Commons Attribution-Share Alike 3.0
720 license published by Creative Commons Corporation, a not-for-profit
721 corporation with a principal place of business in San Francisco,
722 California, as well as future copyleft versions of that license
723 published by that same organization.
724
725 "Incorporate" means to publish or republish a Document, in whole or
726 in part, as part of another Document.
727
728 An MMC is "eligible for relicensing" if it is licensed under this
729 License, and if all works that were first published under this
730 License somewhere other than this MMC, and subsequently
731 incorporated in whole or in part into the MMC, (1) had no cover
732 texts or invariant sections, and (2) were thus incorporated prior
733 to November 1, 2008.
734
735 The operator of an MMC Site may republish an MMC contained in the
736 site under CC-BY-SA on the same site at any time before August 1,
737 2009, provided the MMC is eligible for relicensing.
738
739
740 ADDENDUM: How to use this License for your documents
741 ====================================================
742
743 To use this License in a document you have written, include a copy of
744 the License in the document and put the following copyright and license
745 notices just after the title page:
746
747 Copyright (C) YEAR YOUR NAME.
748 Permission is granted to copy, distribute and/or modify this document
749 under the terms of the GNU Free Documentation License, Version 1.3
750 or any later version published by the Free Software Foundation;
751 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
752 Texts. A copy of the license is included in the section entitled ``GNU
753 Free Documentation License''.
754
755 If you have Invariant Sections, Front-Cover Texts and Back-Cover
756 Texts, replace the "with...Texts." line with this:
757
758 with the Invariant Sections being LIST THEIR TITLES, with
759 the Front-Cover Texts being LIST, and with the Back-Cover Texts
760 being LIST.
761
762 If you have Invariant Sections without Cover Texts, or some other
763 combination of the three, merge those two alternatives to suit the
764 situation.
765
766 If your document contains nontrivial examples of program code, we
767 recommend releasing these examples in parallel under your choice of
768 free software license, such as the GNU General Public License, to
769 permit their use in free software.
770
771 \1f
772 File: gpr-mode.info, Node: Index, Prev: GNU Free Documentation License, Up: Top
773
774 Index
775 *****
776
777