doc/changelog/08-tools/12033-master+coqdoc-fix7697-passing-binders-location.rst


1
2
3
4
5

- **Added:**
  Add hyperlinks on bound variables for coqdoc
  (`#12033 <https://github.com/coq/coq/pull/12033>`_,
  by Hugo Herbelin; it incidentally fixes
  `#7697 <https://github.com/coq/coq/pull/7697>`_).