history           373 ext/readline/readline.c 	HIST_ENTRY **history;
history           379 ext/readline/readline.c 	history = history_list();
history           383 ext/readline/readline.c 	if (history) {
history           385 ext/readline/readline.c 		for (i = 0; history[i]; i++) {
history           386 ext/readline/readline.c 			add_next_index_string(return_value,history[i]->line,1);