list_known_names

# File lib/rdoc/ri/ri_display.rb, line 180
  def list_known_names(names)
    if names.empty?
      warn_no_database
    else
      page do 
        names.each {|n| @formatter.raw_print_line(n)}
      end
    end
  end