Diffusion afp-devel 01bf5fad3e59

add 2023 release dates
01bf5fad3e59
Actions

Tags

None

Subscribers

None

Description

add 2023 release dates

Details

Provenance

Authored on

Parents

rAFP95e737921cf8: website regen

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP01bf5fad3e59: add 2023 release dates.Wed, Sep 13, 4:15 PM

kleing mentioned this in rAFPa662f9a14526: Added tag Isabelle2023 for changeset 01bf5fad3e59.Wed, Sep 13, 4:21 PM

Changes (1)

Path

Size

metadata/

rAFP01bf5fad3e59

metadata/releases.toml

Loading...