Admin/polyml/INSTALL-MinGW
Sat, 10 Oct 2020 17:26:23 +0200 wenzelm tuned --- according to instructions on Website;
Thu, 14 Nov 2019 11:43:46 +0100 wenzelm updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
Fri, 21 Oct 2016 21:03:17 +0200 wenzelm minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
Mon, 31 Aug 2015 22:28:23 +0200 wenzelm support x86_64-windows;
Wed, 19 Aug 2015 21:51:30 +0200 wenzelm clarified x86-windows setup;
less more (0) tip