Я уже качаю Mercury 11.07.1 с http://www.mercury.csse.unimelb.edu.au/download/release.html
а также установил cygwin на свой ПК с Windows 7. Однако я не знаю, как установить ртуть. Кто-нибудь может помочь мне с руководством по установке?