If you don't need this issue, I'll be glad to take it. Thanks, Yossi -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.cs.huji.ac.il/pipermail/rbs/attachments/20101017/d9453ec6/attachment.html>