Diffusion Isabelle 2f6b092bbd25

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

Tags

None

Subscribers

None

Description

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

Details

Provenance

Authored on

Parents

rISABELLEaa1338a778c1: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE2f6b092bbd25: updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems….Nov 14 2019, 11:43 AM

Changes (2)

Path

Size

Admin/

polyml/

src/

Pure/

Admin/

build_polyml.scala

rISABELLE2f6b092bbd25

Admin/polyml/INSTALL-MinGW

Loading...

src/Pure/Admin/build_polyml.scala

Loading...