doc/changelog/07-commands-and-options/11795-print_implicit_args.rst


1
2
3
4
5

- **Added:**
  Several commands (`Search`, `About`, ...) now print the implicit arguments
  in brackets when printing types.
  (`#11795 <https://github.com/coq/coq/pull/11795>`_,
  by SimonBoulier).