path: root/doc/changelog/08-tools/11617-toplevel+boot.rst

- **Added:**
  New ``coqc`` / ``coqtop`` option ``-boot`` that will not bind the
  `Coq` library prefix by default
  (`#11617 <https://github.com/coq/coq/pull/11617>`_,
  by Emilio Jesus Gallego Arias).