* Madhu [2006-12-11 06:03+0100] writes: > I suggest changing the binding for *PRINT-PRETTY* in > *SLDB-PRINTER-BINDINGS* to T if nothing else depends on it. I changed it in CVS. Helmut.