set version to 2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020
- Branches
- Unknown
- Tags
set version to 2020 Tags None Subscribers None
Description
Details
|