Diffusion Isabelle 0eff7d113549

update Windows build host;
0eff7d113549
Actions

Tags

None

Subscribers

None

Description

update Windows build host;

Details

Provenance

Authored on

Parents

rISABELLEcfe18c31725c: proper command-line;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0eff7d113549: update Windows build host;.Tue, Apr 23, 3:57 PM

Changes (2)

Path

Size

Admin/

Windows/

Cygwin/

polyml/

rISABELLE0eff7d113549

Admin/Windows/Cygwin/README

Loading...

Admin/polyml/INSTALL-MinGW

Loading...