Diffusion isabelle-website 819fee999a49

update for release;
819fee999a49
Actions

Tags

None

Subscribers

None

Description

update for release;

Details

Provenance

makarius	Authored on
makarius	Pushed on Aug 27 2023, 7:06 PM

Parents

rWEBSITEf774ad33e390: merged;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rWEBSITE819fee999a49: update for release;.Aug 27 2023, 7:06 PM

Changes (1)

Path

Size

rWEBSITE819fee999a49

index.html

Loading...