Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- back to post-release mode -- after fork point;
- Added tag Isabelle2022-RC3 for changeset d704efeb01db
The file was modified | CONTRIBUTORS |
The file was modified | NEWS |
The file was modified | .hgtags |