Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- clarified packaging;
- merged
- Added tag Isabelle2022-RC2 for changeset 778152d51e97
The file was modified | Admin/Release/CHECKLIST |
The file was modified | .hgtags |
The file was modified | Admin/Release/CHECKLIST |
The file was modified | .hgtags |