[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: the joys (?!!) of porting CLISP



> BTW, any way that the header can be suppressed at run time.

"man clisp" tells you about the command line option -q which stands for
"quiet".


                    Bruno Haible
                    haible@ma2s2.mathematik.uni-karlsruhe.de