Diffusion Isabelle 561d501598f2

update naproche component;
561d501598f2
Actions

Tags

None

Subscribers

None

Description

update naproche component;

Details

Provenance

Authored on

Parents

rISABELLEc56997fab437: Added tag Isabelle2022-RC4 for changeset 8b4108f41c77

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE561d501598f2: update naproche component;.Oct 18 2022, 11:31 AM

Changes (2)

Path

Size

Admin/

Release/

components/

components.sha1

rISABELLE561d501598f2

Admin/Release/CHECKLIST

Loading...

Admin/components/components.sha1

Loading...