Use google's site option: site:list.coin-or.org <search words> Matt > On a different note: wouldnt it be nice to be able to Search > through the COIN mailing lists archives? It took me some time > to find my own post back.. > > Regards, > > Jan-Willem