Diffusion Isabelle 178cbf89780e

updated for coming release;
178cbf89780e
Actions

Tags

None

Subscribers

None

Description

updated for coming release;

Details

Provenance

Authored on

Parents

rISABELLE1f03cc073046: updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE178cbf89780e: updated for coming release;.Oct 2 2020, 9:10 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_cygwin.scala

rISABELLE178cbf89780e

src/Pure/Admin/build_cygwin.scala

Loading...