|
| From: | Akim Demaille |
| Subject: | Re: 23-less-ac-subst.patch |
| Date: | 24 Jan 2001 08:49:06 +0100 |
| User-agent: | Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.1 (Crater Lake) |
>>>>> "Raja" == Raja R Harinath <address@hidden> writes: Raja> In either case, a "symbol" that is probably shorter and easier Raja> to compare is used as proof rather than the actual text of the Raja> substitution. Correct.
| [Prev in Thread] | Current Thread | [Next in Thread] |