Меркурий установка
Я уже скачал Mercury 11.07.1 с http://www.mercury.csse.unimelb.edu.au/download/release.html
а также установил Cygwin на моем ПК с Windows 7. Однако я не знаю, как установить ртуть. Кто-нибудь может мне помочь с руководством по установке?
1 ответ
Если вы разархивируете загрузку Mercury, вы найдете около десятка файлов README в новом каталоге.
Там есть файл README.Cygwin, есть и другие файлы, связанные с Windows. Они должны содержать инструкции и информацию для начала работы. (открыть их с помощью блокнота)