blob: 768ef683393eb41ca8417f871a79fbf1a8fd4409 (
plain)
1
2
3
4
5
6
|
- **Added:**
Syntax for non-maximal implicit arguments in definitions and terms using
square brackets. The syntax is ``[x : A]``, ``[x]``, ```[A]``
to be consistent with the command :cmd:`Arguments`.
(`#11235 <https://github.com/coq/coq/pull/11235>`_,
by SimonBoulier).
|
