doc/changelog/05-tactic-language/13939-ltac2-open-constr-scope.rst


1
2
3
4
5

- **Added:**
  Allow scope delimiters in Ltac2 open_constr:(...) quotation
  (`#13939 <https://github.com/coq/coq/pull/13939>`_,
  fixes `#12806 <https://github.com/coq/coq/issues/12806>`_,
  by Pierre-Marie Pédrot).