[antlr-interest] antlr-interest: Please, provide a searching tool on archived mails
Johannes Luber
jaluber at gmx.de
Wed Aug 20 13:02:46 PDT 2008
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
>
More information about the antlr-interest
mailing list