Here are some notes on manual installation of x86_64-cygwin:

  * Setup tool:

  * Package repository:

  * Important packages: curl, perl, perl-libwww-perl, rlwrap, unzip

An alternative is to use the Cygwin that is bundled with the Isabelle
Windows application, e.g. from (when it is updated
itself after 30-Sep-2017).

isabelle-dev mailing list

Reply via email to