Diffusion Isabelle d72d4a9316c9

updated platform situation: 32bit variants are marginal or absent;
d72d4a9316c9
Actions

Tags

None

Subscribers

None

Description

updated platform situation: 32bit variants are marginal or absent;

Details

Provenance

Authored on

Parents

rISABELLEdfc52eb97ff4: repackage as csdp-6.1-1, with proper platform names;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd72d4a9316c9: updated platform situation: 32bit variants are marginal or absent;.Dec 23 2019, 10:24 PM

Changes (2)

Path

Size

lib/

scripts/

isabelle-platform

rISABELLEd72d4a9316c9

lib/scripts/getsettings

Loading...

lib/scripts/isabelle-platform

Loading...