history           375 ext/readline/readline.c 	HIST_ENTRY **history;
history           381 ext/readline/readline.c 	history = history_list();
history           385 ext/readline/readline.c 	if (history) {
history           387 ext/readline/readline.c 		for (i = 0; history[i]; i++) {
history           388 ext/readline/readline.c 			add_next_index_string(return_value,history[i]->line);