Ticket #57772: redpsl.1

File redpsl.1, 192 bytes (added by mbrethen, 6 years ago)
Line 
1.TH REDCSL 1 "2010 October 10" "redcsl"
2.
3.
4.SH NAME
5redcsl \- Run REDUCE under PSL
6.
7.
8.SH Synopsis
9.B redcsl
10.
11.
12.SH DESCRIPTION
13.I redpsl
14runs REDUCE based on the
15.BR PSL
16Lisp system.
17.
18.