[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