Diffusion Isabelle 96f60533ec1d

update Windows test machines;
96f60533ec1d
Actions

Tags

None

Subscribers

None

Description

update Windows test machines;

Details

Provenance

Authored on

Parents

rISABELLE40a3fc07a587: More tidying of proofs

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE96f60533ec1d: update Windows test machines;.Fri, Apr 26, 1:25 PM

Changes (2)

Path

Size

Admin/

Release/

components/

rISABELLE96f60533ec1d

Admin/Release/CHECKLIST

Loading...

Admin/components/README.md

Loading...