merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE5d360394f292: Added tag Isabelle2020 for changeset abf3e80bd815
rISABELLE77232ff6b8f6: tuned message; - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
merged
Description merged
Details
Event Timeline
Merged Changes
Changes (272) Very Large CommitThis commit is very large. Load each file individually.
rISABELLE65b7d9ec05f5 |