[antlr-interest] A little suggestion for better use of this mailing list

[Peizhao Hu]

Dear antlr.org maintainers:

could you put a search field for the mailing list archives in the 
www.antlr.org website? rather than browsing the list page by page. so 
people can search in the mailing for similar problems & solutions before 
posting to the list.

for your convenience, the google search HTML is pasted:

<form name=gs method=GET action="http://www.google.com/search">
<table>
<tr>
<td align=middle>
<img src="/scoop/images/google_25wht.gif">
</td>
<td align=middle>
   <input type=hidden value="www.antlr.org" name=as_sitesearch>
   <input type=hidden name=hs value=kN1>
   <input type=hidden name=hl value="en">
   <input type=hidden name=lr value="">

   <input type=hidden name=rls value="org.mozilla:en-US:official">
   <input type=text name=q size=41 maxlength=2048 value="" title="Search">
   <input type=submit name="btnG" value="Search">
</td>
</tr>
</table>
</form>


-- 
regards;

Peizhao