blob: 0b25c0195809f7cde1316d14cd380fa2827bc8f2 (
plain)
1
2
3
4
5
6
7
|
- **Removed:**
Removed the `omega` tactic (deprecated in 8.12) and 4 `* Omega *` flags.
Use `lia` instead.
(`#13741 <https://github.com/coq/coq/pull/13741>`_,
by Jim Fehrle, who addressed the final details, building on much work by
Frédéric Besson, who greatly improved :tacn:`lia`, Maxime Dénès,
Vincent Laporte and with the help of many package maintainers, among others).
|
