Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- update Windows build host;
- proper command-line;
The file was modified | Admin/Windows/Cygwin/README |
The file was modified | Admin/polyml/INSTALL-MinGW |
The file was modified | Admin/polyml/INSTALL-MinGW |