update Isabelle2022 release dates
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP48d4cbd3c2c1: afp release path has changed on isa-afp.org
- Branches
- Unknown
- Tags
update Isabelle2022 release dates Tags None Subscribers None
Description
Details
|