/* Top level stuff for GDB, the GNU debugger.
- Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1996,
- 1997, 1998, 1999, 2000 Free Software Foundation, Inc.
+
+ Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
+ 1996, 1997, 1998, 1999, 2000, 2005 Free Software Foundation, Inc.
This file is part of GDB.
extern void set_prompt (char *);
/* From random places. */
-extern int mapped_symbol_files;
extern int readnow_symbol_files;
/* Perform _initialize initialization */
/* Variables from top.c. */
extern int source_line_number;
extern char *source_file_name;
-extern char *source_error;
-extern char *source_pre_error;
extern int history_expansion_p;
extern int server_command;
extern char *lim_at_start;
+extern void show_commands (char *args, int from_tty);
+
+extern void set_history (char *, int);
+
+extern void show_history (char *, int);
+
+extern void set_verbose (char *, int, struct cmd_list_element *);
+
+extern void do_restore_instream_cleanup (void *stream);
+
#endif