into another language, under the above conditions for modified versions.
@end ignore
-@node Using History, Installing GDB, Command Line Editing, Top
+@node Using History Interactively
@appendix Using History Interactively
This chapter describes how to use the GNU History Library interactively,