diff options
Diffstat (limited to 'doc/history.0')
-rw-r--r-- | doc/history.0 | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/history.0 b/doc/history.0 index 47c6927..5f5e703 100644 --- a/doc/history.0 +++ b/doc/history.0 @@ -130,8 +130,8 @@ HISTORY(3) Library Functions Manual HISTORY(3) grams. [1mIntroduction to History[0m - The programmer using the History library has available functions for - remembering lines on a history list, associating arbitrary data with a + A programmer using the History library has available functions for re- + membering lines on a history list, associating arbitrary data with a line, removing lines from the list, searching through the list for a line containing an arbitrary text string, and referencing any line in the list directly. In addition, a history [4mexpansion[24m function is avail- @@ -144,9 +144,9 @@ HISTORY(3) Library Functions Manual HISTORY(3) commands. The basic history manipulation commands are identical to the history substitution provided by [1mbash[22m. - If the programmer desires, he can use the Readline library, which in- - cludes some history manipulation by default, and has the added advan- - tage of command line editing. + The programmer can also use the Readline library, which includes some + history manipulation by default, and has the added advantage of command + line editing. Before declaring any functions using any functionality the History li- brary provides in other code, an application writer should include the @@ -502,4 +502,4 @@ HISTORY(3) Library Functions Manual HISTORY(3) -GNU History 8.0 2019 November 15 HISTORY(3) +GNU History 8.1 2020 July 17 HISTORY(3) |