These are the recent changes to the tags on the website. The website is regularly updated, but it is possible that the repository is slightly ahead.
- Jun 27, 2023
- 74af77a
More than 20 tags were affected, see the commit for more information.
- Jun 27, 2023
- ba9831c
- Jun 27, 2023
- 53fe885
- Lemma 29.8.4
- Jun 27, 2023
- d0d2eaf
- Lemma 5.3.1
- Jun 27, 2023
- e080322
- Jun 27, 2023
- 28190d8
More than 20 tags were affected, see the commit for more information.
- Jun 27, 2023
- 33a2547
More than 20 tags were affected, see the commit for more information.
- Jun 27, 2023
- 0292797
- Jun 26, 2023
- b6ec398
- Lemma 28.7.9
- Jun 26, 2023
- d10b405
- Lemma 10.37.12