blob: 283c44fda6244c64673faf0b3d0116d47488aef1 (
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).
|
