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