Diffusion Isabelle 13a0efd9f2ed

more macOS versions;
13a0efd9f2ed
Actions

Tags

None

Subscribers

None

Description

more macOS versions;

Details

Provenance

Authored on

Parents

rISABELLEf5015fa7cb19: prefer Isabelle/Scala operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE13a0efd9f2ed: more macOS versions;.Jun 29 2022, 12:17 PM

Changes (1)

Path

Size

Admin/

components/

rISABELLE13a0efd9f2ed

Admin/components/PLATFORMS

Loading...