Added tag Isabelle2020-RC1 for changeset a8849ac415cc
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa8849ac415cc: follow Phabricator update 2020 Week 6;
- Branches
- Unknown
- Tags
Added tag Isabelle2020-RC1 for changeset a8849ac415cc Tags None Subscribers None |