blob: 1a611f3fb1f1e23a296ab6747464b0c9e949eba8 (
plain)
1
2
3
4
|
- **Added:**
Simultaneous definition of terms and notations now support custom entries.
Fixes `#11121 <https://github.com/coq/coq/pull/11121>`_.
(`#12523 <https://github.com/coq/coq/pull/11523>`_, by Maxime Dénès).
|
