[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Info-search-whitespace

From: Richard Stallman
Subject: Re: Info-search-whitespace
Date: Sun, 21 Nov 2004 10:39:24 -0500

    He said removed, not replaced by an explicit group.  The shy group
    encloses a single item and thus is completely redundant.

Without the shy group, it would give wrong results when followed by ?.
The + and the ? would combine to give the wrong meaning.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]