Coq 8.10.2 brings a few bug fixes and documentation improvements, in particular:
- 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
More details can be found in the reference manual.