# File lib/rbreadline.rb, line 7213
  def history_list()
    @the_history
  end