blob: 90c23d8b764509e48fb5e2ebc18b0ba826987900 (
plain)
1
2
3
4
5
6
7
|
- **Changed:**
Internal options and behavior of ``coqdep`` have changed, in particular
options ``-w``, ``-D``, ``-mldep``, and ``-dumpbox`` have been removed,
and ``-boot`` will not load any path by default, ``-R/-Q`` should be
used instead
(`#11523 <https://github.com/coq/coq/pull/11523>`_,
by Emilio Jesus Gallego Arias).
|
