blob: 8786c7ce6ba17567d80de35f8c5f509a0a068869 (
plain)
1
2
3
4
|
- Allow inspecting custom grammar entries by :cmd:`Print Custom Grammar`
(`#10061 <https://github.com/coq/coq/pull/10061>`_,
fixes `#9681 <http://github.com/coq/coq/pull/9681>`_,
by Jasper Hugunin, review by Pierre-Marie Pédrot and Hugo Herbelin).
|
