Summary
- clarified packaging;
- merged
- Added tag Isabelle2022-RC2 for changeset 778152d51e97
The file was modified | Admin/Release/CHECKLIST (diff) |
The file was modified | .hgtags (diff) |
The file was modified | Admin/Release/CHECKLIST (diff) |
The file was modified | .hgtags (diff) |