Is there a way to search the mailing list archives? I only see how to browse the archives. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://listserv.zib.de/mailman/private/scip/attachments/20130701/6f84d39f/attachment.html