.TH REDPSL 1 "2010 October 10" "redpsl"
.
.
.SH NAME
redpsl \- Run REDUCE under PSL
.
.
.SH Synopsis
.B redpsl
.
.
.SH DESCRIPTION
.I redpsl
runs REDUCE based on the 
.BR PSL
Lisp system.
.
.