path: root/doc/changelog/02-specification-language/11579-inductive-params.rst

- **Changed:**
  Treatment of implicit inductive parameters in inductive declarations is less adhoc.
  (`#11579 <https://github.com/coq/coq/pull/11579>`_,
  by Maxime Dénès, Gaëtan Gilbert and Jasper Hugunin).