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

stepper question answered

Thanks to all (P. Pangaro, Gaius Martin, D. Troop) who replied to my
question on verbosity of stepper. As they pointed out, by either setting
*print-pretty* to nil or controlling the print-level, the stepper can
be reverted back to pre-Genera look. Again this was not documented nor
the Symbolics software support knew the answer (at least half a year
C. Huang