Subject: Re: 23.0.96; doc string of called-interactively-p

From: Chong Yidong <[email-masked]>
Date: Sat, 15 Aug 2009 17:53:07 -0400

I've checked in fixes for the doc strings of interactive-p and
called-interactively-p, which should make them clearer.