diff lispintro/README @ 75839:e71b1d9b5c5e

(with-electric-help, electric-help-exit, electric-help-retain): Doc fixes.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 13 Feb 2007 12:47:00 +0000
parents dc23aaa67696
children ee787fc40e93
line wrap: on
line diff