blob: ed95a6eb4f51312426f8c3d53cba4cff3ec35c6c (
plain)
1
2
3
4
5
|
- **Added:**
Numeral Notations now support sorts in the input to printing
functions (e.g., numeral notations can be defined for terms
containing things like `@cons Set nat nil`). (`#9883
<https://github.com/coq/coq/pull/9883>`_, by Jason Gross).
|
