from gdb.texinfo on 11 July 1994 -->
Go to the previous, next section.
This chapter describes how to use the GNU History Library interactively, from a user's standpoint.