[antlr-interest] antlr-interest: Please, provide a searching tool on archived mails

[Johannes Luber]

Gavin Lambert schrieb:
> At 07:40 21/08/2008, Randall R Schulz wrote:
>  >Just to be clear, I'll point out that Google (the only search
>  >tool with which I'm currently familiar) can restrict hits to
>  >specific sites (DNS names) using the site: keyword or even
>  >within the URL hierarchy of a given site using the inurl:
>  >keyword.
> 
> They also provide a search box that can be embedded in a website 
> that does this for you automatically, in order to help the people 
> who don't know that.  Couldn't hurt.

I've used such an embedded search and have been satisfied with it.
Definitively a good idea.

Johannes
> 
> 
> List: http://www.antlr.org/mailman/listinfo/antlr-interest
> Unsubscribe: http://www.antlr.org/mailman/options/antlr-interest/your-email-address
>