blob: ae9888512d8c0850ab2baaad7e5450003a47a19c (
plain)
1
2
3
4
5
|
- **Fixed:**
Recursive notations with custom entries were incorrectly parsing `constr`
instead of custom grammars (`#11311 <https://github.com/coq/coq/pull/11311>`_
by Maxime Dénès, fixes `#9532 <https://github.com/coq/coq/pull/9532>`_,
`#9490 <https://github.com/coq/coq/pull/9490>`_).
|
