[MLton-user] Searching the mailing list.

[Bartlomiej Szymczak]

Hi.

Before I ask a question that was answered in the past, I prefer to
search the list archives. I found the following archive for mlton-user
mailing list:

http://mlton.org/pipermail/mlton-user/

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?

Best regards,
-- 
Bartlomiej Szymczak