There is an HTML version
of the REDLOG User Manual Edition 3.1
online.
There is also
a PDF version of the
REDLOG User Manual Edition 3.1
available.
Inside REDLOG, there is an integerated help system in the sytle of
man pages under development:
To get started, type the command ?; in REDUCE after
loading REDLOG.