HomeIsabelle/Phabricator

updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems…

Authored by makarius.

Description

updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;

Details

Committed
makariusNov 14 2019, 11:43 AM
Parents
rISABELLEaa1338a778c1: tuned;
Branches
Unknown
Tags
Unknown