[MLton-user] Searching the mailing list.

[Bartlomiej Szymczak]

On 5/13/07, TJ <tjay.dreaming at gmail.com> wrote:
> On 5/13/07, Bartlomiej Szymczak <rhywek at gmail.com> wrote:
> > The problem is that there's no search feature. I don't feel like
> > downloading all files and grep-ing them. Does anyone know how I could
> > search mlton-user and mlton mailing lists?
>
> Google has a handy feature that's very useful for searching mailing
> lists. Just search like so:
>
> (Google) site:mlton.org/pipermail/mlton-user/ [search terms here]
>
> Cheers,
>
> TJ
>

Thank you all!
-- 
Bartlomiej Szymczak