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

Terence Parr parrt at cs.usfca.edu
Wed Aug 20 13:01:08 PDT 2008


The search box on antlr.org restricts to antlr.org

'site:antlr.org search-terms"

Should I make one for

site:antlr.org search-terms

Ter

On Aug 20, 2008, at 12:57 PM, Gavin Lambert wrote:

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