Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEed36e33a2e4b: updated to flatlaf-1.0;
- Branches
- Unknown
- Tags
Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b Tags None Subscribers None
Description
Details
|