Diffusion Isabelle 9a8bc089890d

support for MSYS2/MinGW64 on Windows;
9a8bc089890d
Actions

Tags

None

Subscribers

None

Description

support for MSYS2/MinGW64 on Windows;

Details

Provenance

Authored on

Parents

rISABELLEf6fc180e1cbd: tuned --- according to instructions on Website;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9a8bc089890d: support for MSYS2/MinGW64 on Windows;.Oct 10 2020, 8:31 PM

Changes (5)

Path

Size

rISABELLE9a8bc089890d

src/Pure/System/mingw.scala

Loading...

src/Pure/build-jars

Loading...