void quit_command(char *, int)
void maybe_wait_sync_command_done(int was_sync)
void quit_force(char *, int)
void set_prompt(const char *s)
void check_frame_language_change(void)
void show_history(char *, int)
char * saved_command_line
void print_gdb_configuration(struct ui_file *)
const char * source_file_name
void do_restore_instream_cleanup(void *stream)
void set_history(char *, int)
void gdb_add_history(const char *)
struct cleanup * prepare_execute_command(void)
int saved_command_line_size
void execute_command(char *, int)
void print_gdb_version(struct ui_file *)
void show_commands(char *args, int from_tty)
void read_command_file(FILE *)
void set_verbose(char *, int, struct cmd_list_element *)