doc/changelog/08-tools/12005-remove-deprecated-coqtop-options.rst


1
2
3
4
5

- **Removed:**
  Confusingly-named and deprecated since 8.11 `-require` option.
  Use `-require-import` instead
  (`#12005 <https://github.com/coq/coq/pull/12005>`_,
  by Théo Zimmermann).