Diffusion Isabelle 7fe1a344404a

updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;
7fe1a344404a
Actions

Tags

None

Subscribers

None

Description

updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;

Details

Provenance

Authored on

Parents

rISABELLE0f98a7c366ed: avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7fe1a344404a: updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;.Mar 23 2020, 12:29 PM

makarius mentioned this in rISABELLE7eda22253605: Added tag Isabelle2020-RC3 for changeset 7fe1a344404a.Apr 2 2020, 1:26 PM

Changes (2)

Path

Size

Admin/

components/

bundled-windows

components.sha1

rISABELLE7fe1a344404a

Admin/components/bundled-windows

Loading...

Admin/components/components.sha1

Loading...