updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE2f6b092bbd25: updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems…
- Branches
- Unknown
- Tags