Skipped content of type multipart/alternative-------------- next part -------------- A non-text attachment was scrubbed... Name: Search.oz.diff Type: application/octet-stream Size: 859 bytes Desc: Search.oz.diff Url : http://lists.gforge.info.ucl.ac.be/pipermail/mozart-hackers/attachments/20060131/e91addb8/Search.oz.obj