blob: 16ca9caf4834d47cda5c86821c43672659a78e71 (
plain)
1
2
3
4
5
6
|
- **Changed:**
White spaces are forbidden in the :n:`&@ident` syntax for ltac2 references
that are described in :ref:`ltac2_built-in-quotations`
(`#10324 <https://github.com/coq/coq/pull/10324>`_,
fixes `#10088 <https://github.com/coq/coq/issues/10088>`_,
authored by Pierre-Marie Pédrot).
|
