version 1.1.1.1, 2014/07/30 08:16:45
|
version 1.1.1.2, 2021/03/17 01:01:01
|
Line 12 This document describes the GNU History library
|
Line 12 This document describes the GNU History library
|
a programming tool that provides a consistent user interface for |
a programming tool that provides a consistent user interface for |
recalling lines of previously typed input. |
recalling lines of previously typed input. |
|
|
Copyright @copyright{} 1988--2014 Free Software Foundation, Inc. | Copyright @copyright{} 1988--2020 Free Software Foundation, Inc. |
|
|
@quotation |
@quotation |
Permission is granted to copy, distribute and/or modify this document |
Permission is granted to copy, distribute and/or modify this document |