[isabelle-dev] Manual installation of x86_64-cygwin

Makarius makarius at sketis.net
Sat Sep 30 13:29:04 CEST 2017

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).


More information about the isabelle-dev mailing list