> Alternatively, is there any means to disable the readline library without
> rebuilding clisp?
On Unix: Send the output to a pipe, for example
clisp | tee
For DOS, I don't know.
Bruno Haible
haible@ma2s2.mathematik.uni-karlsruhe.de