Description of lua5.1-readline

This Lua module offers a simple calling interface to the
GNU readline and history library.

The function readline() is a wrapper, which invokes the GNU readline,
adds the line to the end of the History List, and then returns the line.
Usually you call save_history() before the program exits,
so that the History List is saved to the histfile.

Various options can be changed using the set_options{} function.

This module does not work with lua -i because that runs its own readline,
and the two conflict with each other.