The 8.10.2 release of Coq is available.
- Fixed a critical bug of template polymorphism and nonlinear universes
- Fixed a few anomalies
- Fixed an 8.10 regression related to the printing of coercions associated to notations
- Fixed uneven dimensions of CoqIDE panels when window has been resized
- Fixed queries in CoqIDE
All details can be found in the user manual.
Feedback and bug reports are extremely welcome.