blob: 58c53e3b1d46ec1c2b8a86a71e9b1565894d34d0 (
plain)
1
2
3
4
5
|
- **Removed:** Legacy commands ``AddPath``, ``AddRecPath``, and ``DelPath``
which were undocumented, broken variants of :cmd:`Add LoadPath`,
:cmd:`Add Rec LoadPath`, and :cmd:`Remove LoadPath`
(`#11187 <https://github.com/coq/coq/pull/11187>`_,
by Maxime Dénès and Théo Zimmermann).
|
