It is with deep regret that I advise that Reuven Granek's mother passed away last week. Reuven is in Melbourne and can be reached at 050-6462071. Ayelet -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.cs.huji.ac.il/pipermail/rbs/attachments/20120216/39610806/attachment.html>