Don’t know how long it’ll last there, but you are welcome to take it. As of the last time we used it (a few years ago) it was in great working order. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.cs.huji.ac.il/pipermail/rbs/attachments/20130324/45122087/attachment.html>