On Apr 27, 2006, at 8:26 AM, Prashant Deva wrote: > > PS. Is there a way to search the mailing list archives? I couldn't > find a search feature... > > You could use Google groups (groups.google.com) ;-) > Doesn't antlr's searchbox work? Looks in archives for me. Ter