[PATCH 4/8] man: clarify search --exclude documentation

[Peter Wang]

On Wed, 20 Jun 2012 21:08:05 +0100, Mark Walters <markwalters1009 at gmail.com> wrote:
> 
> I have reviewed all the new parts of this series (judged as being
> patches 3-8) and the changes made to my two patches and they are all
> fine (with one small comment below). Patch 1/8 does need a proper review
> though as it ended up more intrusive than I would have liked.
> 
> > +Messages matching search.tag_exclude are called "excluded messages".
> 
> My one comment is that this is not quite true if the corresponding tag
> is in the query. Since you are defining the term it would be nice to
> mention that, but I can't see a clean wording.

How about:

    A message is called "excluded" if it matches at least one tag
    in search.tag_exclude that does not appear explicitly in the search
    terms.

Or less densely:

    Let "excluded tags" be the set of tags listed in search.tag_exclude,
    minus any tags which appear explicitly in the search terms.
    A message is an "excluded message" if it matches one or more
    excluded tags.

Peter