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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev