[isabelle-dev] Manual installation of x86_64-cygwin

[Makarius]

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

  * Setup tool: http://isabelle.in.tum.de/cygwin_2017/setup-x86_64.exe

  * Package repository: http://isabelle.in.tum.de/cygwin_2017

  * 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
http://isabelle.in.tum.de/devel/release_snapshot (when it is updated
itself after 30-Sep-2017).


    Makarius