Diffusion Isabelle e07f29df1c67

Added tag Isabelle2024-RC2 for changeset ef2134570abb
e07f29df1c67
Actions

Tags

None

Subscribers

None

Description

Added tag Isabelle2024-RC2 for changeset ef2134570abb

Details

Provenance

Authored on

Parents

rISABELLEef2134570abb: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe07f29df1c67: Added tag Isabelle2024-RC2 for changeset ef2134570abb.Thu, Apr 18, 11:39 AM

Changes (1)

Path

Size

rISABELLEe07f29df1c67

.hgtags

Loading...