lib/readline/doc/history.tmp

   1
   2 This document describes the GNU History library
   3 (version @value{VERSION}, @value{UPDATED}),
   4 a programming tool that provides a consistent user interface for
   5 recalling lines of previously typed input.
   6
   7 Copyright @copyright{} 1988--2011 Free Software Foundation, Inc.
   8
   9 Permission is granted to make and distribute verbatim copies of
  10 this manual provided the copyright notice and this permission notice
  11 are preserved on all copies.
  12
  13 @quotation
  14 Permission is granted to copy, distribute and/or modify this document
  15 under the terms of the GNU Free Documentation License, Version 1.3 or
  16 any later version published by the Free Software Foundation; with no
  17 Invariant Sections, with the Front-Cover texts being ``A GNU Manual'',
  18 and with the Back-Cover Texts as in (a) below. A copy of the license is
  19 included in the section entitled ``GNU Free Documentation License''.
  20
  21 (a) The FSF's Back-Cover Text is: You are free to copy and modify
  22 this GNU manual. Buying copies from GNU Press supports the FSF in
  23 developing GNU and promoting software freedom.''
  24
  25 @end quotation
  26 @endinput