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

[Terence Parr]

added search box for list on supprot page:

http://www.antlr.org/support.html

Ter
On Aug 20, 2008, at 1:02 PM, Johannes Luber wrote:

> 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
>>
>