diff make-dist @ 15908:045bf20a0e7c

(print-quoted): New variable. (print): Print certain expressions more compactly when set. Also use XCAR and XCDR directly -- we know we have conses.
author Erik Naggum <erik@naggum.no>
date Sat, 24 Aug 1996 19:39:34 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff